aboutsummaryrefslogtreecommitdiff
path: root/stlc-imp.rkt
Commit message (Collapse)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
|
* add some typing rules, minor fixesJJ2024-06-20
|
* implement the simply-typed lambda calculus with impredicative refsJJ2024-06-17