-module skeleton3a\r
+module skeleton3a_wt\r
\r
/*\r
Advanced Programming.\r
\r
instance eq0 [a] | eq0 a where eq0 l m = eq1 eq0 l m\r
instance eq1 [] where eq1 f l m = eq2 (eq1 eq0) (eq1 (eq2 f (eq1 f))) (fromList l) (fromList m)\r
+\r
+Start = "Hi"\r