aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
* stlc-let: implementation fixes & testsJJ2024-05-15
|
* implement the simply-typed lambda calculusJJ2024-05-15
|
* initial commitJJ2024-05-15