diff options
author | JJ | 2024-06-17 00:22:38 +0000 |
---|---|---|
committer | JJ | 2024-06-17 00:22:38 +0000 |
commit | 745f45355bd65ddeebcef8d353e8c66fcabde516 (patch) | |
tree | 93d26ba5776e8f26d3df8a6751fcfcbbf48e6468 /stlc-pred.rkt | |
parent | 3a4704b8fce33f3d86897ff857d59462b93a6755 (diff) |
implement the simply-typed lambda calculus with general recursion (fix)
Diffstat (limited to 'stlc-pred.rkt')
0 files changed, 0 insertions, 0 deletions