@hackage eliminators dependencies

6 results

library:eliminators (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.10 && <4.11

@hackage/singletons

Basic singleton types and definitions

BSD-3-Clause>=2.3 && <2.4

test:spec (4 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.10 && <4.11

@hackage/singletons

Basic singleton types and definitions

BSD-3-Clause>=2.3 && <2.4

@hackage/hspec

A Testing Framework for Haskell

@hackage/eliminators

Dependently typed elimination functions using singletons