summaryrefslogtreecommitdiff
path: root/Concat.hs
blob: 18d0f5dc648ab10d63cdd27b7234a5ed6a227333 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
import System.Environment( getArgs )
import Text.Printf
import Library.Parse
import Library.ProofGraph
import Library.WriteProof



main = do
    args <- getArgs
    x <- getLines $ args!!0
    y <- getLines $ args!!1
    let list = x ++ y
        graph = doGraphGen (map (stripReturn) list)
        trace = doWriteProof graph
    output trace