GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-23 09:52:55 -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 8fbdf3e57c
commit 307042a6a1
3 changed files with 424 additions and 597 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1014
doc/gf-tutorial.html
View File

File diff suppressed because it is too large Load Diff

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

@@ -1,6 +1,6 @@
module SemBase where module SemBase where
import GSyntax import Base
import Logic import Logic
-- translation of Base syntax to Logic -- translation of Base syntax to Logic
@@ -8,7 +8,6 @@ import Logic
iS :: GS -> Prop iS :: GS -> Prop
iS s = case s of iS s = case s of
GPredAP np ap -> iNP np (iAP ap) GPredAP np ap -> iNP np (iAP ap)
GConjS c s t -> iConj c (iS s) (iS t)
iNP :: GNP -> (Exp -> Prop) -> Prop iNP :: GNP -> (Exp -> Prop) -> Prop
iNP np p = case np of iNP np p = case np of

8
examples/tutorial/semantics/Top.hs
View File

@@ -1,16 +1,16 @@
module Main where module Main where
import GSyntax import Base
import SemBase import SemBase
import Logic import Logic
import GF.GFCC.API import PGF
main :: IO () main :: IO ()
main = do main = do
gr <- file2grammar "base.gfcc" gr <- file2grammar "Base.pgf"
loop gr loop gr
loop :: MultiGrammar -> IO () loop :: PGF -> IO ()
loop gr = do loop gr = do
s <- getLine s <- getLine
let t:_ = parse gr "BaseEng" "S" s let t:_ = parse gr "BaseEng" "S" s