Idris2Doc
: algdata
Index
Default
Alternative
Black & White
Package algdata - Namespaces
Data.Alg
Data.Boundary
A boundary is a pair of types, they are the object of the category of lenses
Data.Ops
This module export the operators used with their fixity
Data.Product
Data.Sigma
Data.Coproduct
Data.Maybe.All
Data.Maybe.Any