-
Notifications
You must be signed in to change notification settings - Fork 11
/
AlgorithmW.cabal
27 lines (24 loc) · 1002 Bytes
/
AlgorithmW.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
name: AlgorithmW
version: 0.1.1.0
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/AlgorithmW
executable AlgorithmW
main-is: AlgorithmW.lhs
build-depends: base >=4.5, containers >=0.4, mtl >=2.2.1, pretty >=1.1
default-language: Haskell2010