diff options
| author | JJ | 2024-06-15 01:25:24 +0000 |
|---|---|---|
| committer | JJ | 2024-06-15 02:24:01 +0000 |
| commit | e0b3fb41426ccebcb6e9c3556a90b276c65f9867 (patch) | |
| tree | 3ac854360aba43c30d3a7f010354f9cde7def2c9 /lib.rkt | |
| parent | 694abf3dfe03f801acd5c3f542de5fe0893b9206 (diff) | |
implement the standard simply-typed lambda calculus
Diffstat (limited to 'lib.rkt')
0 files changed, 0 insertions, 0 deletions