simpler-sub
simpler-sub copied to clipboard
Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-type-variable constraints. Nevertheless, it's probably enough for...
Results
0
simpler-sub issues
Sort by
recently updated
recently updated
newest added