@hackage rzk dependencies

29 results

library:rzk (9 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

executable:rzk (10 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause

test:rzk-test (10 dependencies)

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@haskell/array

Mutable and immutable arrays

BSD-3-Clause

@hackage/rzk

An experimental proof assistant for synthetic ∞-categories

BSD-3-Clause

@hackage/optparse-generic

Auto-generate a command-line parser for your datatype

BSD-3-Clause

@hackage/bifunctors

Bifunctors

BSD-3-Clause

@hackage/aeson

Fast JSON parsing and encoding

BSD-3-Clause