ProofGraphMain.hs


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"