feedbackdf1{feedbackdf1_compseq_tag_def:o}(p1; P; buf; F; B) ==
compseq(feedback-df-program(B;F;buf;P;[p1]);
feedback-df-prog1(B;
x.(F (k.x));P;buf;p1))
Definitions :
lambda: x.A[x],
apply: f a,
feedback-df-prog1: feedback-df-prog1(B;G;P;buf;dfp),
nil: [],
cons: [car / cdr],
feedback-df-program: feedback-df-program(B;F;buf;P;dfps)
feedbackdf1\{feedbackdf1\_compseq\_tag\_def:o\}(p1; P; buf; F; B) ==
compseq(feedback-df-program(B;F;buf;P;[p1]); feedback-df-prog1(B;\mlambda{}x.(F (\mlambda{}k.x));P;buf;p1))
Date html generated:
2010_08_27-AM-12_24_34
Last ObjectModification:
2010_07_08-PM-03_40_35
Home
Index