hm-prolog. A Hindley-Milner implementation in Prolog.

github.com/remexre/hm-prolog

Problem

Audience

Updates

No founder updates yet. Check back soon.