Hello grammars in tutorial

This commit is contained in:
aarne
2007-08-14 14:09:25 +00:00
parent 0a1d057855
commit e6b0cc5299
8 changed files with 534 additions and 483 deletions

View File

@@ -1,10 +1,12 @@
abstract Food = {
cat
S ; Item ; Kind ; Quality ;
Phrase ; Item ; Kind ; Quality ;
flags startcat = Phrase ;
fun
Is : Item -> Quality -> S ;
Is : Item -> Quality -> Phrase ;
This, That : Kind -> Item ;
QKind : Quality -> Kind -> Kind ;
Wine, Cheese, Fish : Kind ;