aboutsummaryrefslogtreecommitdiff
path: root/stlc-ext.rkt
Commit message (Collapse)AuthorAge
* refactor all implementations to use contractsJJ2024-10-24
|
* minor identifier changesJJ2024-10-24
|
* split lib into lib and base; move tests to separate files & directoryJJ2024-07-29
|
* stlc-dll, stlc-ext: split term and type equalityJJ2024-07-27
|
* 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
|
* broadly switch to infix operatorsJJ2024-06-21
|
* stlc-ext: conditional fixes and testsJJ2024-06-20
|
* stlc-ext: ascryption fixesJJ2024-06-20
|
* go all in on unicode: rename ctx and heap to \Gamma and \SigmaJJ2024-06-20
|
* stlc-ext: typecheck boolean and natural operationsJJ2024-06-20
|
* add some typing rules, minor fixesJJ2024-06-20
|
* stlc-ext: add primitive operations on booleans and naturalsJJ2024-06-17
|
* implement the simply-typed lambda calculus with simple extensionsJJ2024-06-16
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-22 05:56:48 +0000