hindley-milner: Template for Hindley-Milner based languages

[ language, library, mit ] [ Propose Tags ]

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

Versions [faq]
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 2016-04-23T16:39:17Z
Distributions NixOS:
Downloads 585 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-04-23 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees