1 2 3 4 5 6 7 8 9 10 11 12 13 14
concrete MicroCnc of MicroAbs = { lincat A = {s : Str}; lin a = {s = "a"}; ab = {s = variants{"c";"b"}}; redup x = {s = x.s ++ x.s}; }