blob: 91767ade5bca8c14fcdde74d11fba02c5df44c4f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
import System( getArgs )
import Text.Printf
import Parse
import ProofGraph
main = do
args <- getArgs
list <- getLines $ head args
let result = doGraphGen (map (stripReturn) list)
printf $ (show result) ++ "\n"
|