aboutsummaryrefslogtreecommitdiff
path: root/LICENSE
Commit message (Collapse)AuthorAge
* implement the simply-typed lambda calculusJJ2024-05-15