GitHub repository: lucasem/polytype-rs
Primary language: Rust
Created: 2018-02-15T00:59:07Z
Description: A Hindley-Milner polymorphic typing system