bertas / hm_prolog

A Hindley-Milner type inference implementation in Prolog
13Updated 9 years ago

Related projects

Alternatives and complementary repositories for hm_prolog