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,($))
20 good_size x =foldr(&&)
21 otherwise =\($x)->![not_too_big,very_big]
22 f y z =fairly_small(z)&&good_size(y)&¬_too_small(z)
23 i cond th el=if(cond)then(th)else(el)
24 to_be_is_to_do_and_to_do_is_to_be_said_con_fu_tse
26 -- main functions ----------------------------------------------------------
32 to_be_is_to_do_and_to_do_is_to_be_said_con_fu_tse(let h=a;t=x where x x=i(long x)x(h t x)
39 -- rittri@cs.chalmers.se ---------------------------------------------------