/hmx

A toy implementation of the HM(X) type system (see http://pauillac.inria.fr/~fpottier/publis/emlti-final.pdf)

Primary LanguageOCaml

This repository is not active