aboutsummaryrefslogtreecommitdiff
path: root/lib.rkt
Commit message (Collapse)AuthorAge
* lib: provide fmt and strip functionsJJ2024-06-08
|
* implement the simply-typed lambda calculusJJ2024-05-15