Giters

skkeem / stlc

STLC implementations with W & M algorithms in OCaML

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Implementation of type inference in both W & M algorithms.

About

STLC implementations with W & M algorithms in OCaML

License:MIT License

Languages

Language:OCaml 98.5%Language:Makefile 1.5%