diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-01 13:13:10 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-01 13:13:10 +0000 |
| commit | 307042a6a1863854920da7eaae6fbc588457221c (patch) | |
| tree | e3f0d32b7dfa854854a7edbe2abec15337b977e1 /examples/tutorial/semantics/SemBase.hs | |
| parent | 8fbdf3e57c84fbfa6b84cab351c9f2b97bd0ce8e (diff) | |
refreshed the tutorial
Diffstat (limited to 'examples/tutorial/semantics/SemBase.hs')
| -rw-r--r-- | examples/tutorial/semantics/SemBase.hs | 3 |
1 files changed, 1 insertions, 2 deletions
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 |