aboutsummaryrefslogtreecommitdiff
path: root/stlc-dll.rkt
Commit message (Expand)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
* 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 whenev...JJ2024-06-29
* 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-11-22 00:14:17 +0000