Skip to contents
recursr
0.1
Reference
Articles
Morphisms for a list
Morphisms for a tree
Programming with fixed-points
Unwrap a single layer of recursion
project.Rd
Unwrap a single layer of recursion
Usage
project
(
x
,
...
)
Arguments
f
A functor