aboutsummaryrefslogtreecommitdiff
path: root/stlc-let.rkt
Commit message (Expand)AuthorAge
* stlc-*: do not throw errors within checkJJ2024-06-15
* stlc-let: reimplementJJ2024-06-15
* lib: provide fmt and strip functionsJJ2024-06-08
* lc, stlc-let: rewrite interpreterJJ2024-05-22
* implement the simply-typed lambda calculus with referencesJJ2024-05-22
* stlc-let: fixes to check/infer functionsJJ2024-05-15
* stlc-let: capture environments in closuresJJ2024-05-15
* stlc-let: implementation fixes & testsJJ2024-05-15
* implement the simply-typed lambda calculusJJ2024-05-15