drwxr-xr-x | .. | ||
-rw-r--r-- | 85 | Jmakefile | blob | history | raw |
-rw-r--r-- | 5991 | Main.hs | blob | history | raw |
-rw-r--r-- | 229 | Main.hs-WithPrelude | blob | history | raw |
-rw-r--r-- | 6570 | PreludeClausify.hs | blob | history | raw |
-rw-r--r-- | 40 | clausify001.stdin | blob | history | raw |
-rw-r--r-- | 18 | clausify001.stdout | blob | history | raw |