remexre/hm-prolog

A Hindley-Milner implementation in Prolog.

This repository is not active