From 307042a6a1863854920da7eaae6fbc588457221c Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 1 Oct 2008 13:13:10 +0000 Subject: refreshed the tutorial --- examples/tutorial/semantics/SemBase.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'examples/tutorial/semantics/SemBase.hs') diff --git a/examples/tutorial/semantics/SemBase.hs b/examples/tutorial/semantics/SemBase.hs index 24073894b..b682010e1 100644 --- a/examples/tutorial/semantics/SemBase.hs +++ b/examples/tutorial/semantics/SemBase.hs @@ -1,6 +1,6 @@ module SemBase where -import GSyntax +import Base import Logic -- translation of Base syntax to Logic @@ -8,7 +8,6 @@ import Logic iS :: GS -> Prop iS s = case s of GPredAP np ap -> iNP np (iAP ap) - GConjS c s t -> iConj c (iS s) (iS t) iNP :: GNP -> (Exp -> Prop) -> Prop iNP np p = case np of -- cgit v1.2.3