tutorial complete with server and js

examples/tutorial/old/semantics/Top.hs

@@ -0,0 +1,23 @@
+module Main where
+
+import Base
+import SemBase
+import Logic
+import PGF
+
+main :: IO ()
+main = do
+  gr <- file2grammar "Base.pgf"
+  loop gr
+
+loop :: PGF -> IO ()
+loop gr = do
+  s <- getLine
+  let t:_ = parse gr "BaseEng" "S" s
+  putStrLn $ showTree t
+  let p = iS $ fg t
+  putStrLn $ show p
+  let v = valProp exModel [] p
+  putStrLn $ show v
+  loop gr
+