aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* implement the simply-typed lambda calculusJJ2024-05-15
* initial commitJJ2024-05-15