[project @ 1996-07-25 21:02:03 by partain]
[nofib.git] / spectral / clausify / Main.hs
index 21f5692..82c0150 100644 (file)
@@ -36,7 +36,9 @@ David
 
 module Main(main) where
 
-main _ = [AppendChan stdout res]
+import Ix -- 1.3
+
+main = putStr res
 
 res = concat (map clauses (take 7 (repeat "(a = a = a) = (a = a = a) = (a = a = a)")))