Moved the different versions of the toy0 concrete modules to different subdirectories.
This commit is contained in:
1 parent
67857cb146
commit
54d5325171
7 files changed
+7
-4
No files matched your search
@@ -1,27 +0,0 @@
|
||||
concrete Toy0Eng of Toy0 = {
|
||||
|
||||
param
|
||||
Number = Sg | Pl ;
|
||||
|
||||
lincat
|
||||
Spec = {s : Str ; n : Number} ;
|
||||
Noun = {s : Number => Str} ;
|
||||
NP = {s : Str} ;
|
||||
|
||||
lin
|
||||
SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ;
|
||||
|
||||
One = {s = "one" ; n = Sg} ;
|
||||
Two = {s = "two" ; n = Pl} ;
|
||||
|
||||
Felis = regNoun "cat" ;
|
||||
Canis = regNoun "dog" ;
|
||||
|
||||
oper
|
||||
regNoun : Str -> {s : Number => Str} = \s -> {
|
||||
s = table {
|
||||
Sg => s ;
|
||||
Pl => s + "s"
|
||||
}
|
||||
} ;
|
||||
}
|
||||
Reference in new issue
Block a user