1 Search Results
inferno
A library for constraint-based Hindley-Milner type inference