x : v == <[x], 
x.v>
Definitions :
pair: <a, b>,
cons: [car / cdr],
nil: [],
lambda: x.A[x]
FDL editor aliases :
fpf-single
x : v == <[x], \mlambda{}x.v>
Date html generated:
2010_08_26-PM-11_57_01
Last ObjectModification:
2008_02_27-PM-09_41_59
Home
Index