lib:functor-products
Modules
Dependencies
- base lib:base >=4.16 && <5
- microlens lib:microlens >=0
- singletons lib:singletons >=3.0
- singletons-base lib:singletons-base >=0
- text lib:text >=0
- vinyl lib:vinyl >=0
Reverse dependencies
Direct only. Not exhaustive.
- decidable lib:decidable
- list-witnesses lib:list-witnesses