@hackage / cubical

Implementation of Univalence in Cubical Sets

Latest0.2.0

Dependencies

executable:cubical (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.5 && <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 / transformers Concrete functor and monad transformers
- Version: >=0.3
- License: BSD-3-Clause
@hackage / BNFC A compiler front-end generator.
- Version: >=2.5
- License: BSD-3-Clause
@hackage / haskeline A command-line interface for user input, written in Haskell.
- Version: >=0.7
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2
- License: BSD-3-Clause