@hackage / rzk

An experimental proof assistant for synthetic ∞-categories

Dependencies

library:rzk (18 dependencies)

@hackage / data-default-class A class for types with a default value (compatibility shim)
- Version: >=0.1.2.0
- License: BSD-3-Clause
@hackage / lsp-types Haskell library for the Microsoft Language Server Protocol, data types
- Version: >=2.0.2.0
- License: MIT
@hackage / array Mutable and immutable arrays
- Version: >=0.5.3.0
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.14.0.0
- License: BSD-3-Clause
@hackage / yaml Support for parsing and rendering YAML documents.
- Version: >=0.11.0.0
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=4.17
- License: BSD-2-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4.2.1
- License: BSD-3-Clause
@hackage / co-log-core Composable Contravariant Comonadic Logging Library
- Version: >=0.3.2.0
- License: MPL-2.0
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / lsp Haskell library for the Microsoft Language Server Protocol
- Version: >=2.2.0.0 && <2.8
- License: MIT
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.7.0
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.3.1
- License: BSD-2-Clause
@hackage / Glob Globbing library
- Version: >=0.9.3
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.3.1
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.8.2
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=5.5.3
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version: >=2.5.0.0
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=1.4.2.0
- License: BSD-3-Clause

executable:rzk (13 dependencies)

test:doctests (12 dependencies)

test:rzk-test (15 dependencies)