summaryrefslogtreecommitdiff
path: root/deprecated/PGF/doc/Eng.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-12-22 14:11:55 +0000
committeraarne <aarne@chalmers.se>2010-12-22 14:11:55 +0000
commitc5b963769539c8a7c9bd154585686d263c7d6d8a (patch)
treec1bc4129d94e51c5e68ed4b7c1888ae120aac3fd /deprecated/PGF/doc/Eng.gf
parentce15ec7b787479ca4c7295863ea7fa5cfdd16755 (diff)
removed GF/deprecated
Diffstat (limited to 'deprecated/PGF/doc/Eng.gf')
-rw-r--r--deprecated/PGF/doc/Eng.gf13
1 files changed, 0 insertions, 13 deletions
diff --git a/deprecated/PGF/doc/Eng.gf b/deprecated/PGF/doc/Eng.gf
deleted file mode 100644
index c64f46313..000000000
--- a/deprecated/PGF/doc/Eng.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-concrete Eng of Ex = {
- lincat
- S = {s : Str} ;
- NP = {s : Str ; n : Num} ;
- VP = {s : Num => Str} ;
- param
- Num = Sg | Pl ;
- lin
- Pred np vp = {s = np.s ++ vp.s ! np.n} ;
- She = {s = "she" ; n = Sg} ;
- They = {s = "they" ; n = Pl} ;
- Sleep = {s = table {Sg => "sleeps" ; Pl => "sleep"}} ;
-}