crates.io : polytype
A Hindley-Milner polymorphic typing system.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/polytype
Keywords:
unification
, inference
, typing
, language
, type
, hindley-milner
, polymorphism
, type-inference
, types
License: MIT
Latest release: over 1 year ago
First release: over 7 years ago
Dependent packages: 1
Dependent repositories: 7
Downloads: 69,008 total
Stars: 59 on GitHub
Forks: 8 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago