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.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Dependencies base (>=4.8 && <4.9), 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:0.1.0.0
Downloads 704 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-04-23 [all 1 reports]