aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* implement the simply-typed lambda calculus with impredicative refsJJ2024-06-17
* implement the simply-typed lambda calculus with general recursion (fix)JJ2024-06-17
* stlc-ext: add primitive operations on booleans and naturalsJJ2024-06-17
* update readmeJJ2024-06-16
* implement the simply-typed lambda calculus with simple extensionsJJ2024-06-16
* stlc-*: do not throw errors within checkJJ2024-06-15
* stlc-let: reimplementJJ2024-06-15
* 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 refer...JJ2024-05-24
* 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-22 23:43:10 +0000