summaryrefslogtreecommitdiff
path: root/src/ProofGraphMain.hs
blob: 292cf01f51d97a3f80bc8b7431cc37aaf10b07ca (plain)
1
2
3
4
5
6
7
8
9
10
11
import System.Environment( getArgs )
import Text.Printf
import Library.Parse
import Library.ProofGraph


main = do
    args <- getArgs
    list <- getLines (head args)
    let result = doGraphGen (map (stripReturn) list)
    printf $ (show result) ++ "\n"