Giters

ob / AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference

About

Example implementation of Algorithm W for Hindley-Milner type inference

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:TeX 96.9%Language:Haskell 3.1%