aboutsummaryrefslogtreecommitdiff
path: root/stlc-dll.rkt
Commit message (Collapse)AuthorAge
* 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
|
* stlc-dll: cut back on cases and remove max-levelJJ2024-07-26
|
* stlc-dll: rewrite level-body and implement well-formedJJ2024-07-26
|
* backport check refactoringsJJ2024-07-16
|
* stlc-dll: rework infer and check to operate on and return normalized typesJJ2024-07-04
|
* stlc-dll: rename interpret-, remove optional parametersJJ2024-07-04
|
* stlc-dll: reduce annotations on tests, reimplement doubly linked listsJJ2024-06-29
|
* stlc-dll: add back check cases, inline and fix replace, implement well-formedJJ2024-06-29
|
* stlc-dll: rename infer- and check-JJ2024-06-29
|
* stlc-dll: significantly reduce cases in check by calling over to infer ↵JJ2024-06-29
| | | | whenever possible
* stlc-dll: require inl/inr to be externally annotatedJJ2024-06-28
|
* stlc-dll: expand types properly, support unannotated folds, write testsJJ2024-06-24
|
* stlc-dll: major bugfixesJJ2024-06-24
|
* broadly switch to infix operatorsJJ2024-06-21
|
* stlc-dll: initial implementationJJ2024-06-20
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-16 12:27:18 +0000