GitHub - takagiy/hminfer: Implementation of Hindley-Milner type inference algorithm with support of row polymorphism

Name	Name	Last commit message	Last commit date
Latest commit takagiy Implement level-based generalization for rows May 25, 2023 83242bb · May 25, 2023 History 18 Commits
src	src	Implement level-based generalization for rows	May 25, 2023
Cargo.lock	Cargo.lock	Implement row-polymorphism	May 25, 2023
Cargo.toml	Cargo.toml	Implement row-polymorphism	May 25, 2023
rustfmt.toml	rustfmt.toml	Add rustfmt.toml	May 23, 2023