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.
License:MIT License