WriteProofMain.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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


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