aboutsummaryrefslogtreecommitdiff
path: root/lib.rkt
Commit message (Expand)AuthorAge
* restructure code, put implementations into broadly categorical foldersHEADmainJJ2024-10-24
* split lib into lib and base; move tests to separate files & directoryJJ2024-07-29
* stlc-dll: rename interpret-, remove optional parametersJJ2024-07-04
* stlc-dll: add back check cases, inline and fix replace, implement well-formedJJ2024-06-29
* stlc-dll: rename infer- and check-JJ2024-06-29
* stlc-dll: major bugfixesJJ2024-06-24
* broadly switch to infix operatorsJJ2024-06-21
* stlc-ext: ascryption fixesJJ2024-06-20
* add some typing rules, minor fixesJJ2024-06-20
* stlc-rec: initial implementationJJ2024-06-20
* implement the simply-typed lambda calculus with general recursion (fix)JJ2024-06-17
* implement the simply-typed lambda calculus with simple extensionsJJ2024-06-16
* lib: fix bug in desugaring matchJJ2024-06-15
* stlc-ref: rewrite, add type checkerJJ2024-06-15
* lib: provide desugaring functionJJ2024-06-08
* lib: provide fmt and strip functionsJJ2024-06-08
* implement the simply-typed lambda calculusJJ2024-05-15
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-24 04:24:48 +0000