aboutsummaryrefslogtreecommitdiff
path: root/stlc-pred.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
* add some typing rules, minor fixesJJ2024-06-20
* stlc-*: do not throw errors within checkJJ2024-06-15
* stlc-pred: clean up codeJJ2024-06-15
* stlc-pred: use stlc-ref interpret implJJ2024-06-15
* lib: provide desugaring functionJJ2024-06-08
* lib: provide fmt and strip functionsJJ2024-06-08
* stld-pred: bugfixesJJ2024-06-05
* stlc-pred: rewrite to follow typing rules directlyJJ2024-05-29
* implement the simply-typed lambda calculus with typechecked predicative refer...JJ2024-05-24