s434703/parser
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

two binaries

Browse Source
This commit is contained in:
ryuga4 2019-05-27 22:53:34 +02:00
parent 98c0f85e6a
commit aa3f878413
4 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/Main.hs
View File

@ -3,4 +3,4 @@ module Main where
import Lib
main :: IO ()
main = getLine >>= go
main = interact go

BIN
parser-sandbox-exe
View File

Binary file not shown.

BIN
parser-sandbox-exe.exe Normal file
View File

Binary file not shown.

6
src/Lib.hs
View File

@ -92,10 +92,8 @@ checkTautology s = all ((==True) . fst ) $ runStateT (tautology s) []
go s = do
let s' = parse sentence "" s
case s' of
Left x -> print x
Right x -> do
print x
print $ checkTautology x
Left x -> show x
Right x -> show x ++ "\n" ++ (show ( checkTautology x))