lnk-decl(l;dt) == <map(
tg.rcv(l,tg);fst(dt)), k.dt(snd(outl(k)))>
Definitions :
pair: <a, b>,
map: map(f;as),
rcv: rcv(l,tg),
pi1: fst(t),
lambda: x.A[x],
fpf-ap: f(x),
id-deq: IdDeq,
pi2: snd(t),
outl: outl(x)
FDL editor aliases :
lnk-decl
lnk-decl(l;dt) == <map(\mlambda{}tg.rcv(l,tg);fst(dt)), \mlambda{}k.dt(snd(outl(k)))>
Date html generated:
2010_08_27-AM-12_01_39
Last ObjectModification:
2008_02_27-PM-09_47_30
Home
Index