blob: b1e2d6a40169daf937a199720d2d84e071d9e4de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- toy0 grammar from Chapter 2 of the Regulus book
abstract Toy0 = {
flags startcat=NP ;
cat
NP ;
Noun ;
Spec ;
fun
SpecNoun : Spec -> Noun -> NP ;
One, Two : Spec ;
Felis, Canis : Noun ;
}
|