aboutsummaryrefslogtreecommitdiff
path: root/src/racket_specs/mapping-setup.rkt
AgeCommit message (Collapse)Author
2024-02-07deal with more variables in racket specsAria Shrimpton
2024-01-25support constraint checking on mappingsAria Shrimpton