Skip to contents
recursr
0.1
Reference
Articles
Morphisms for a list
Morphisms for a tree
Programming with fixed-points
Construct a tuple
Tuple.Rd
Construct a tuple
Usage
Tuple
(
x
,
y
)
Arguments
x
First element
y
Second element