The AlgorithmW package

[ Tags: bsd3, development, program ] [ Propose Tags ]

Complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.

[Skip to Readme]


Change log
Dependencies base (>=4.5 && <4.9), containers (>=0.4 && <0.6), mtl (>=2.1 && <2.3), pretty (==1.1.*) [details]
License BSD3
Author Martin Grabmueller
Category Development
Home page
Bug tracker
Source repo head: git clone
Uploaded Wed May 27 07:33:48 UTC 2015 by MartinGrabmueller
Distributions NixOS:
Executables AlgorithmW
Downloads 1973 total (46 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-12-05 [all 15 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees

Readme for AlgorithmW-

[back to package description]


Example implementation of Algorithm W for Hindley-Milner type inference