---

nxt_inning() ==
  z.let s,x = z in
       let vs,i = s in
         case x
        of inl(v) => <[], 1>
         | inr(p) => let j,v = p in
                       if i z j then <[v], j + 1> else <[], i + 1> fi 

---

Definitions :  lambda: x.A[x],  decide: case b of inl(x) => s[x] | inr(y) => t[y],  spread: spread def,  ifthenelse: if b then t else f fi ,  le_int: i z j,  cons: [car / cdr],  pair: <a, b>,  nil: [],  add: n + m,  natural_number: $n
FDL editor aliases :  nxt_inning

---

nxt\_inning()  ==
    \mlambda{}z.let  s,x  =  z  in
              let  vs,i  =  s  in
                  case  x
                of  inl(v)  =>  <[],  1>
                  |  inr(p)  =>  let  j,v  =  p  in
                                              if  i  \mleq{}z  j  then  <[v],  j  +  1>  else  <[],  i  +  1>  fi 


Date html generated: 2010_08_27-PM-08_30_12
Last ObjectModification: 2010_06_23-PM-11_55_33

Home Index