Giters

wh5a / Algorithm-W-Step-By-Step

Classic Algorithm W for type inference.

Home Page:http://www.grabmueller.de/martin/www/pub/AlgorithmW.en.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Classic Algorithm W for type inference.

http://www.grabmueller.de/martin/www/pub/AlgorithmW.en.html

Languages

Language:Haskell 100.0%