Skip to contents
recursr
0.1
Reference
Articles
Morphisms for a list
Morphisms for a tree
Programming with fixed-points
Pure
constructor of a free monad
Pure.Rd
Pure
constructor of a free monad
Usage
Pure
(
fnct
)
Arguments
fnct
A given functor