sc-Inputs(locs) == BaseDef(locs;``sc input``;
;
x.tt)
Definitions :
BaseDef: BaseDef(locs;hdr;typ;P),
cons: [car / cdr],
token: "$token",
nil: [],
int: ,
lambda: x.A[x],
btrue: tt
FDL editor aliases :
sc-Inputs
sc-Inputs(locs) == BaseDef(locs;``sc input``;\mBbbZ{};\mlambda{}x.tt)
Date html generated:
2010_08_27-PM-08_31_27
Last ObjectModification:
2010_06_24-AM-12_13_27
Home
Index