@hackage / rzk

An experimental proof assistant for synthetic ∞-categories

Latest0.11.1

Dependencies

library:rzk (24 dependencies)

@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4.100.0 && <2
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.3.1 && <3
- License: BSD-3-Clause
@hackage / kind-generics-th Template Haskell support for generating `GenericK` instances
- Version: >=0.2 && <1
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.3.1 && <3
- License: BSD-2-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.7.0 && <2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=5.5.3 && <6
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5 && <1
- License: BSD-3-Clause
@hackage / kind-generics Generic programming in GHC style for arbitrary kinds and GADTs.
- Version: >=0.5 && <1
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: >=2.0.0.0 && <3
- License: BSD-3-Clause
@hackage / data-default-class A class for types with a default value (compatibility shim)
- Version: >=0.1.2.0 && <1
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.8.2 && <1
- License: BSD-3-Clause
@hackage / yaml Support for parsing and rendering YAML documents.
- Version: >=0.11.0.0 && <1
- License: BSD-3-Clause
@hackage / lsp Haskell library for the Microsoft Language Server Protocol
- Version: >=2.4.0.0 && <3
- License: MIT
@hackage / containers Assorted concrete container types
- Version: >=0.6 && <1
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=5.0.1 && <6
- License: BSD-2-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.14.0.0 && <3
- License: BSD-3-Clause
@hackage / free-foil Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)
- Version: >=0.3.2 && <0.4
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5.3.0 && <1
- License: BSD-3-Clause
@hackage / co-log-core Composable Contravariant Comonadic Logging Library
- Version: >=0.3.2.0 && <1
- License: MPL-2.0
@hackage / stm Software Transactional Memory
- Version: >=2.5.1.0 && <3
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version: >=2.2 && <3
- License: BSD-3-Clause
@hackage / Glob Globbing library
- Version: >=0.9.3 && <1
- License: BSD-3-Clause
@hackage / lsp-types Haskell library for the Microsoft Language Server Protocol, data types
- Version: >=2.1.1.0 && <3
- License: MIT

executable:rzk (19 dependencies)

test:doctests (19 dependencies)

test:rzk-test (21 dependencies)