blob: c10301ab3ef17e370995d317d889d3b920ba0cec (
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 Parse
import ProofGraph
import 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
|