@hackage / universe-dependent-sum

Universe instances for types from dependent-sum

Deprecated package1.3.1

Dependents

@hackage / universe A class for finite and recursively enumerable types.
- Version: 1.2.3
- Last uploaded: 2 years ago
- License: BSD-3-Clause