system-function(S) == 
x.system-fpf(S)(x)?<[], []>
Definitions :
lambda: x.A[x],
fpf-cap: f(x)?z,
system-fpf: system-fpf(S),
id-deq: IdDeq,
pair: <a, b>,
nil: []
FDL editor aliases :
system-function
system-function(S) == \mlambda{}x.system-fpf(S)(x)?<[], []>
Date html generated:
2010_08_27-PM-03_51_17
Last ObjectModification:
2010_06_08-PM-04_29_03
Home
Index