naominitel/hmx

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

语言：OCaml · GitHub 星标：7 · Fork：0

在 GitHub 上查看原仓库