@hackage known-lists dependencies

5 results

library:known-lists (2 dependencies)

@hackage/base

Core data structures and operations

BSD-3-Clause^>=4.20.0.0

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5.0 && <6

test:known-lists-test (3 dependencies)

@hackage/base

Core data structures and operations

BSD-3-Clause^>=4.20.0.0

@hackage/bifunctors

Bifunctors

BSD-3-Clause>=5.0 && <6

@hackage/known-lists

Easy type-level lists with term-level membership proofs.