diff options
| author | JJ | 2024-05-29 19:36:39 +0000 |
|---|---|---|
| committer | JJ | 2024-05-29 19:36:39 +0000 |
| commit | 3d1fe69221ec3f4779ba080e91b2ab66e74462af (patch) | |
| tree | fe5094b15f69b3f2ddbb8b6a9c8cea378cf3431d /lc.rkt | |
| parent | 8560dd305b6edf63e46431dc9e87fac1da7c586e (diff) | |
stlc-pred: rewrite to follow typing rules directly
Diffstat (limited to 'lc.rkt')
0 files changed, 0 insertions, 0 deletions