Skip to contents
recursr
0.1
Reference
Articles
Morphisms for a list
Morphisms for a tree
Programming with fixed-points
Construct a
Nil
value of the list base functor
NilF.Rd
Construct a
Nil
value of the list base functor
Usage
NilF
(
)