https://github.com/dwarfmaster/inferno

Mirror of https://gitlab.inria.fr/fpottier/inferno adding nix flakes
https://github.com/dwarfmaster/inferno

Last synced: about 1 year ago
JSON representation

Mirror of https://gitlab.inria.fr/fpottier/inferno adding nix flakes

• Host: GitHub
• URL: https://github.com/dwarfmaster/inferno
• Owner: dwarfmaster
• License: mit
• Created: 2020-12-08T13:15:55.000Z (over 5 years ago)
• Default Branch: flake
• Last Pushed: 2020-12-08T13:18:56.000Z (over 5 years ago)
• Last Synced: 2025-02-07T02:48:18.907Z (over 1 year ago)
• Language: OCaml
• Size: 104 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • License: LICENSE
  • Authors: AUTHORS

Awesome Lists containing this project

README

          
A library for constraint-based Hindley-Milner type inference.

This software is described in the ICFP 2014 paper

[Hindley-Milner elaboration in applicative style](http://gallium.inria.fr/~fpottier/publis/fpottier-elaboration.pdf)

by François Pottier.

See also the ICFP 2014 [slides](http://gallium.inria.fr/~fpottier/slides/fpottier-2014-09-icfp.pdf).

At present, there is no documentation other than the above paper and slides.