name: AlgorithmW version: 0.1.0.1 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: http://hackage.haskell.org/package/AlgorithmW 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 changelog.txt executable AlgorithmW main-is: AlgorithmW.lhs build-depends: base >=4.5 && <4.8, containers >=0.4 && <0.6, mtl >=2.1 && <2.2, pretty >=1.1 && <1.2 default-language: Haskell2010