@hackage / pi-forall

Demo implementation of typechecker for dependently-typed language

Latest0.1.1

Dependencies

library:pi-forall (12 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.3.0.2 && <0.6
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.1
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / unbound-generics Support for programming with names and binders using GHC Generics
- Version: >=0.2
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1.8 && <3.2
- License: BSD-2-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.0.1.0
- License: BSD-3-Clause

executable:pi-forall (12 dependencies)