hm
hm copied to clipboard
Published
20 hours ago •
chewxy
chewxy
a simple Hindley-Milner type system in Go
Results
2
hm issues
Sort by
recently updated
recently updated
newest added
There should be a type in the `types` subpackage that allows universally quantified types (aka `*Scheme`) to be a `Type`. This would be quite helpful in implementing systems that take...