lib:list-witnesses
Modules
Dependencies
- base lib:base >=4.7 && <5
- decidable lib:decidable >=0.3.1.1
- functor-products lib:functor-products >=0.1.2
- microlens lib:microlens >=0
- profunctors lib:profunctors >=0
- singletons lib:singletons >=3.0
- singletons-base lib:singletons-base >=3.0
- vinyl lib:vinyl >=0.14.3
Reverse dependencies
None.