diff options
| author | JJ | 2024-05-15 01:32:38 +0000 |
|---|---|---|
| committer | JJ | 2024-05-15 06:33:29 +0000 |
| commit | 3eb4346a1a250eca9e4cf52a9d7ba78ea8e11496 (patch) | |
| tree | 5a933662a86a3be5aaf24bf40b9196a79c93dc34 /README.md | |
| parent | ff0746af8f430bbc70d5568858c980e2f141c0c0 (diff) | |
implement the simply-typed lambda calculus
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions