hindley-milner: Template for Hindley-Milner based languages

[ language, library, mit ] [ Propose Tags ]
Dependencies base (==4.8.*), containers (>=0.5), data‑fix, mtl, transformers [details]
License MIT
Author Michael B. Gale
Maintainer michael.gale@cl.cam.ac.uk
Category Language
Source repo head: git clone https://github.com/mbg/hindley-milner
Uploaded by mbg at Sat Apr 23 16:39:17 UTC 2016
Distributions NixOS:
Downloads 217 total (6 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-04-23 [all 1 reports]
Hackage Matrix CI

This package contains an implemention of Hindley-Milner and Algorithm W as a starting point for derived languages.




Maintainer's Corner

For package maintainers and hackage trustees