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