3 -- auxiliary functions -----------------------------------------------------
5 g u v w (x:y:z) = i(v x y)(u x y (w z) z)(x:w(y:z))
7 q u v w nil = u : 95 : z v : w
10 ((->!),(=\))=(map,($))
21 otherwise =\($x)->![notTooBig,veryBig]
22 f y z =fairlySmall(z)&&goodSize(y)&¬TooSmall(z)
23 i cond th el=if(cond)then(th)else(el)
24 toBeIsToDoAndToDoIsToBeSaidConFuTse
26 -- main functions ----------------------------------------------------------
32 toBeIsToDoAndToDoIsToBeSaidConFuTse(let h=a;t=x where x x=i(long x)x(h t x)
39 -- rittri@cs.chalmers.se ---------------------------------------------------