aboutsummaryrefslogtreecommitdiff
path: root/lc.rkt
Commit message (Expand)AuthorAge
* implement the simply-typed lambda calculusJJ2024-05-15