crates.io : polytype
A Hindley-Milner polymorphic typing system.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/polytype
Keywords:
typing
, unification
, language
, type
, inference
, 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: 65,885 total
Stars: 58 on GitHub
Forks: 8 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago