aboutsummaryrefslogtreecommitdiff
path: root/README.md
Commit message (Collapse)AuthorAge
* stlc-dll: initial implementationJJ2024-06-20
|
* stlc-rec: initial implementationJJ2024-06-20
|
* implement the simply-typed lambda calculus with impredicative refsJJ2024-06-17
|
* implement the simply-typed lambda calculus with general recursion (fix)JJ2024-06-17
|
* update readmeJJ2024-06-16
|
* readme: add descriptionJJ2024-05-22
|
* initial commitJJ2024-05-15