GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-25 04:22:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

refreshed the tutorial

Browse Source
This commit is contained in:
aarne
2008-10-01 13:13:10 +00:00
parent 0c964105d9
commit 81a93979ad
3 changed files with 424 additions and 597 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
examples/tutorial/semantics/SemBase.hs
View File

@@ -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