---

feedbacdf2{feedbacdf2_compseq_tag_def:o}(p2; p1; P; buf; F; B) ==
  compseq(feedback-df-program(B;F;buf;P;[p1; p2]);
          feedback-df-prog2(B;x,y.
                               (F 
                                (k.if (k = 0) then x else y fi ));P;buf;p1;p2)
          )

---

Definitions :  natural_number: $n,  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  lambda: x.A[x],  apply: f a,  feedback-df-prog2: feedback-df-prog2(B;G;P;buf;dfp1;dfp2),  nil: [],  cons: [car / cdr],  feedback-df-program: feedback-df-program(B;F;buf;P;dfps)

---

feedbacdf2\{feedbacdf2\_compseq\_tag\_def:o\}(p2;  p1;  P;  buf;  F;  B)  ==
    compseq(feedback-df-program(B;F;buf;P;[p1;  p2]);
                    feedback-df-prog2(B;\mlambda{}x,y.(F  (\mlambda{}k.if  (k  =\msubz{}  0)  then  x  else  y  fi  ));P;buf;p1;p2))


Date html generated: 2010_08_27-AM-12_24_35
Last ObjectModification: 2010_07_08-PM-03_42_15

Home Index