This repository was archived by the owner on Apr 14, 2022. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
LICENSE		LICENSE
README.md		README.md
main.hs		main.hs

Repository files navigation

Milner's type inference algorithm

Implemented in Haskell.

Compilation process

ghc -o main main.hs

Usage

To execute the program and the tests already there:

./main

About

Implementation of the Milner's type-inference algorithm, that given a term M (from the Lambda calculus), returns the principal typing of M.

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages