simpler-sub icon indicating copy to clipboard operation
simpler-sub copied to clipboard

verified publisher icon LPTK
→

Metadata

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

← Metadata

22
Stars
1
Forks
Watchers

Owner

verified publisher icon LPTK

Metadata

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...

Back