tnelson/Forge

[Low priority] Domain and Range-restriction are unsupported

Opened this issue · 0 comments

tnelson commented

At the very least, by the lastchecker.rkt and other descents.