Name		Name	Last commit message	Last commit date
src		src
tests		tests
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md

Repository files navigation

Type Inference

An implementation of Algorithm W for the lambda calculus.

About

Implementation of Algorithm W

algorithm-w lambda-calculus menhir milner polymorphism programming-languages type-inference

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages