aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* implement the standard simply-typed lambda calculusJJ2024-06-15
|
* lib: fix bug in desugaring matchJJ2024-06-15
|
* stlc-pred: clean up codeJJ2024-06-15
|
* stlc-pred: use stlc-ref interpret implJJ2024-06-15
|
* stlc-ref: rewrite, add type checkerJJ2024-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 ↵JJ2024-05-24
| | | | references
* implement various combinators in terms of the lambda calculusJJ2024-05-22
|
* lc: implement α-conversion and β-reduction separatelyJJ2024-05-22
|
* lc, stlc-let: rewrite interpreterJJ2024-05-22
|
* readme: add descriptionJJ2024-05-22
|
* implement the simply-typed lambda calculus with referencesJJ2024-05-22
|
* stlc-let: fixes to check/infer functionsJJ2024-05-15
|
* stlc-let: capture environments in closuresJJ2024-05-15
|
* stlc-let: implementation fixes & testsJJ2024-05-15
|
* implement the simply-typed lambda calculusJJ2024-05-15
|
* initial commitJJ2024-05-15
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-23 03:56:21 +0000