---

nat-to-incomparable(n) ==  nat-to-str(n) @ [/]

---

Definitions :  append: as @ bs,  nat-to-str: nat-to-str(n),  cons: [car / cdr],  token: "$token",  nil: []
FDL editor aliases :  nat-to-incomparable

---

nat-to-incomparable(n)  ==    nat-to-str(n)  @  [/]


Date html generated: 2010_08_26-PM-11_30_58
Last ObjectModification: 2010_04_23-PM-04_33_33

Home Index