aboutsummaryrefslogtreecommitdiff
path: root/tests/stlc-pred.rkt
Commit message (Collapse)AuthorAge
* split lib into lib and base; move tests to separate files & directoryJJ2024-07-29