@hackage / lol-typing

Type inferencer for LOL (λω language)

Latest1.20160822

Dependencies

library:lol-typing (11 dependencies)

@hackage / parsec Monadic parser combinators
- Version: >=3.1.2 && <4
- License: BSD-2-Clause
@hackage / text-format Text formatting
- Version:
- License: BSD-3-Clause
@hackage / lol-calculus Calculus for LOL (λω language).
- Version:
- License: GPL-3.0-only
@hackage / monad-classes more flexible mtl
- Version: >=0.3.1.1
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.6 && <5
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / uuagc Attribute Grammar System of Universiteit Utrecht
- Version: >=0.9
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version:
- License: BSD-3-Clause
@hackage / uuagc-cabal Cabal plugin for UUAGC
- Version: >=1.0.6.0
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause

test:lol-typing-test (13 dependencies)