---

lg-append(g1;g2) ==
  g1
  @ map(tr.let lbl,in,out = tr in 
            <lbl, map(x.(x + lg-size(g1));in), map(x.(x + lg-size(g1));out)>;
        g2)

---

Definitions :  append: as @ bs,  spreadn: spread3,  pair: <a, b>,  map: map(f;as),  lambda: x.A[x],  add: n + m,  lg-size: lg-size(g)
FDL editor aliases :  lg-append

---

lg-append(g1;g2)  ==
    g1
    @  map(\mlambda{}tr.let  lbl,in,out  =  tr  in 
                        <lbl,  map(\mlambda{}x.(x  +  lg-size(g1));in),  map(\mlambda{}x.(x  +  lg-size(g1));out)>g2)


Date html generated: 2010_08_27-PM-03_39_12
Last ObjectModification: 2010_05_06-PM-01_26_25

Home Index