Skip to content

naominitel/hmx

Folders and files

NameName
Last commit message
Last commit date

Latest commit

May 16, 2016
ed9ca98 · May 16, 2016

History

5 Commits
May 16, 2016
May 16, 2016
May 16, 2016
May 16, 2016
May 16, 2016
May 16, 2016
May 16, 2016
Oct 23, 2015

About

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

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages