@hackage / known-lists

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

Latest0.1.0.0

Dependencies

library:known-lists (2 dependencies)

@hackage / base Core data structures and operations
- Version: ^>=4.20.0.0
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=5.0 && <6
- License: BSD-3-Clause

test:known-lists-test (3 dependencies)

@hackage / base Core data structures and operations
- Version: ^>=4.20.0.0
- License: BSD-3-Clause
@hackage / bifunctors Bifunctors
- Version: >=5.0 && <6
- License: BSD-3-Clause
@hackage / known-lists Easy type-level lists with term-level membership proofs.
- Version:
- License: BSD-3-Clause