---

x + y ==
  let wfx,x2 = x in
    let wfy,y2 = y in
      <wfx  wfy
     , let specx,sysx = x2 in
         let specy,sysy = y2 in
           <es.((specx es)  (specy es)), sysx @ sysy>
     >

---

Definitions :  spread: spread def,  pair: <a, b>,  lambda: x.A[x],  and: P  Q,  apply: f a,  system-append: S1 @ S2
FDL editor aliases :  esharp-join

---

x  +  y  ==
    let  wfx,x2  =  x  in
        let  wfy,y2  =  y  in
            <wfx  \mwedge{}  wfy
          ,  let  specx,sysx  =  x2  in
                  let  specy,sysy  =  y2  in
                      <\mlambda{}es.((specx  es)  \mwedge{}  (specy  es)),  sysx  @  sysy>
          >


Date html generated: 2010_08_27-PM-08_22_59
Last ObjectModification: 2010_06_23-AM-01_17_36

Home Index