From a5300ad062b82154f3f9533e143ea35515e6c39e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 11 Nov 2008 10:28:32 +0000
Subject: tutorial complete with server and js

---
 examples/tutorial/semantics/Top.hs | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 examples/tutorial/semantics/Top.hs

(limited to 'examples/tutorial/semantics/Top.hs')

diff --git a/examples/tutorial/semantics/Top.hs b/examples/tutorial/semantics/Top.hs
deleted file mode 100644
index 51d5fbb99..000000000
--- a/examples/tutorial/semantics/Top.hs
+++ /dev/null
@@ -1,23 +0,0 @@
-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
-
-- 
cgit v1.2.3