@hackage / hoq

A language based on homotopy type theory with an interval type

Latest0.3

Dependencies

executable:hoq (9 dependencies)

@hackage / void A Haskell 98 logically uninhabited data type
- Version: >=0.6
- 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: >=1.3
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.4
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.1
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=4.0
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10
- License: BSD-3-Clause
@hackage / readline An interface to the GNU readline library
- Version: >=1.0
- License: LicenseRef-GPL
@hackage / pretty Pretty-printing library
- Version: >=1.1
- License: BSD-3-Clause