aboutsummaryrefslogtreecommitdiff
path: root/stlc-dll.rkt
Commit message (Expand)AuthorAge
* 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