aboutsummaryrefslogtreecommitdiff
path: root/stlc-rec.rkt
Commit message (Expand)AuthorAge
* split lib into lib and base; move tests to separate files & directoryJJ2024-07-29
* backport check case reductionJJ2024-07-27
* backport check refactoringsJJ2024-07-16
* backport interpret-/infer-/check- renaming and remove implicit paramsJJ2024-07-15
* stlc-ext, stlc-rec: backport bug fixesJJ2024-06-24
* stlc-dll: major bugfixesJJ2024-06-24
* broadly switch to infix operatorsJJ2024-06-21
* go all in on unicode: rename ctx and heap to \Gamma and \SigmaJJ2024-06-20
* stlc-rec: initial implementationJJ2024-06-20