Go to file
collaprog 18effdd973 WIP: partially-working use of Deep types 2021-03-29 17:14:14 +02:00
src WIP: partially-working use of Deep types 2021-03-29 17:14:14 +02: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
GNUmakefile GNUmakefile fix. 2018-04-05 14:30:13 +02:00
LICENSE Authors & license. 2018-03-02 17:57:13 +01:00
Makefile Scripts for maintaining an opam package. 2018-04-05 13:46:32 +02:00
README.md README. 2018-03-02 17:59:15 +01:00
TODO.md Remove TODO items. 2018-04-05 14:53:40 +02:00
opam Add [license] field to [opam] file. 2018-04-05 16:20:59 +02: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.

See also the ICFP 2014 slides.

At present, there is no documentation other than the above paper and slides.