Giters

pippijn / hm-infer

Simple implementation of Hindley-Milner type inference.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

hm-infer

Simple implementation of Hindley-Milner type inference.

About

Simple implementation of Hindley-Milner type inference.

Languages

Language:OCaml 98.3%Language:Perl 1.7%