@hackage AlgorithmW0.1.1.0
Example implementation of Algorithm W for Hindley-Milner type inference.
Categories
License
BSD-3-Clause
Maintainer
martin@grabmueller.de
Links
Versions
Installation
Dependencies (0)
- base >=4.5 && <4.9
- containers >=0.4 && <0.6
- mtl >=2.1 && <2.3
- pretty >=1.1 && <1.2 Show all…
Dependents (1)
@hackage/acme-everything
AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference