Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 6 Releases Wiki Activity
5 Commits
55 Branches
5 Tags
7.9 MiB
OCaml 94.2%
Perl 3.7%
Makefile 1.6%
Shell 0.5%
 
 
 
 
Go to file
François Pottier 96ad6e8741 Authors & license. 2018-03-02 17:57:13 +01:00
src Add the source code. 2018-03-02 17:52:17 +01:00
.gitignore Add the source code. 2018-03-02 17:52:17 +01:00
AUTHORS Authors & license. 2018-03-02 17:57:13 +01:00
LICENSE Authors & license. 2018-03-02 17:57:13 +01:00
README.md Add README. 2018-03-02 17:42:04 +01:00
TODO.md TODO. 2018-03-02 17:50:58 +01:00

README.md

A library for constraint-based Hindley-Milner type inference.

This software is described in the ICFP 2014 paper Hindley-Milner elaboration in applicative style by François Pottier.