fun(arg)
==
inr
inr
<
fun,
arg
>
Definitions
:
inr:
inr
x
,
pair:
<
a,
b
>
FDL editor aliases
:
expapply
fun(arg) == inr inr <fun, arg>
Date html generated: 2010_08_27-PM-08_21_22
Last ObjectModification: 2010_06_22-PM-12_57_42
Home
Index