diff options
Diffstat (limited to 'ProofGraph.hs')
-rw-r--r-- | ProofGraph.hs | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/ProofGraph.hs b/ProofGraph.hs index 1a6f3fe..816e9f0 100644 --- a/ProofGraph.hs +++ b/ProofGraph.hs @@ -1,5 +1,10 @@ -import System( getArgs ) -import Text.Printf +module ProofGraph ( + PGraph, + doGraphGen + ) where + + + import Data.Maybe import Data.List import Data.Set( Set ) @@ -11,7 +16,7 @@ import qualified Data.Graph.Inductive.Graph as Graph import Data.Graph.Inductive.Tree import Stack( Stack, at, (<:>) ) import qualified Stack as Stack -import Parse +import Parse( isNumber, isName ) @@ -118,11 +123,3 @@ doGraphGen list = result = foldl' parse (graph,stack,dictionary) list in case result of (g,s,d) -> g - - -main = do - args <- getArgs - list <- getLines $ head args - let result = doGraphGen (map (stripReturn) list) - printf $ (show result) ++ "\n" - |