diff options
| author | JJ | 2024-07-27 00:55:40 +0000 |
|---|---|---|
| committer | JJ | 2024-07-27 00:55:40 +0000 |
| commit | 17c9a9a1eb4b211b5b4260d7cdca598d14316ac3 (patch) | |
| tree | cdbbf9dc4542212515566e4fc9a89a22083adf13 /stlc-hor.rkt | |
| parent | c9651d9c20c94e2fb45b5ac4ec3bb350dc2dfd4b (diff) | |
stlc-dll, stlc-ext: split term and type equality
Diffstat (limited to 'stlc-hor.rkt')
0 files changed, 0 insertions, 0 deletions