AlgorithmW-0.1.0.2: AlgorithmW.cabal
name: AlgorithmW
version: 0.1.0.2
synopsis: Example implementation of Algorithm W for Hindley-Milner
type inference.
description: Complete implementation of the classic
algorithm W for Hindley-Milner polymorphic
type inference in Haskell.
homepage: https://github.com/mgrabmueller/AlgorithmW
bug-reports: https://github.com/mgrabmueller/AlgorithmW/issues
license: BSD3
license-file: LICENSE
author: Martin Grabmueller
maintainer: martin@grabmueller.de
category: Development
build-type: Simple
cabal-version: >=1.10
extra-source-files: bibliography.bib README.md ChangeLog.md
source-repository head
type: git
location: https://github.com/mgrabmueller/disassembler
executable AlgorithmW
main-is: AlgorithmW.lhs
build-depends: base >=4.5 && <4.8, containers >=0.4 && <0.6, mtl >=2.1 && <2.3, pretty >=1.1 && <1.2
default-language: Haskell2010