aboutsummaryrefslogtreecommitdiff
path: root/stlc.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
* broadly switch to infix operatorsJJ2024-06-21
* go all in on unicode: rename ctx and heap to \Gamma and \SigmaJJ2024-06-20
* add some typing rules, minor fixesJJ2024-06-20
* stlc-*: do not throw errors within checkJJ2024-06-15
* implement the standard simply-typed lambda calculusJJ2024-06-15