diff options
| author | JJ | 2024-05-24 01:43:35 +0000 |
|---|---|---|
| committer | JJ | 2024-05-24 06:12:35 +0000 |
| commit | 8560dd305b6edf63e46431dc9e87fac1da7c586e (patch) | |
| tree | 08d3021511c6105c3315c242d06dfcf8516a09cc /lc.rkt | |
| parent | a3ef51d094f5900825f51646719ea25cb8638eb5 (diff) | |
implement the simply-typed lambda calculus with typechecked predicative references
Diffstat (limited to 'lc.rkt')
0 files changed, 0 insertions, 0 deletions