@hackage rzk dependencies

20 results

library:rzk (6 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

executable:rzk (7 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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

test:rzk-test (7 dependencies)

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

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