WriteProofMain.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

import System( getArgs )
import Text.Printf
import Parse
import ProofGraph
import WriteProof


output :: [String] -> IO ()
output [] = return ()
output list = do
	putStrLn (head list)
	output (tail list)


main = do
    args <- getArgs
    list <- getLines $ head args
    let graph = doGraphGen (map (stripReturn) list)
        trace = doWriteProof graph
    output trace