==
<
[],
x.
>
Definitions
:
pair:
<
a,
b
>
,
nil:
[]
,
lambda:
x.A[x]
,
it:
FDL editor aliases
:
fpf-empty
\motimes{} == <[], \mlambda{}x.\mcdot{}>
Date html generated: 2010_08_26-PM-11_44_01
Last ObjectModification: 2008_02_27-PM-09_37_01
Home
Index
== <[], 
x.
>x.A[x],
it: