rkoeninger / hindley_milner Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Example implementation of the Hindley-Milner type system

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
README.md		README.md
bsconfig.json		bsconfig.json
package.json		package.json

Repository files navigation

Build

npm run build

or

npm run watch

Editor

If you use vscode, Press Windows + Shift + B it will build automatically

Sources

Reference on implementing HM: http://dev.stephendiehl.com/fun/006_hindley_milner.html

About

Example implementation of the Hindley-Milner type system

hindley-milner type-inference

Report repository

Releases

No releases published

Packages

No packages published

Languages

OCaml 100.0%