1
0
forked from GitHub/gf-rgl

multimodal for Swedish

This commit is contained in:
aarne
2005-12-09 16:28:45 +00:00
parent 1e6d5afb34
commit 5543eb7adf
11 changed files with 120 additions and 12 deletions

View File

@@ -1,4 +1,4 @@
resource ParamX = {
resource ParamX = open Prelude in {
param
Number = Sg | Pl ;
@@ -26,10 +26,10 @@ resource ParamX = {
-- To construct a record with a polarity-dependent table.
polCases : Str -> Str -> {s : Polarity => Str} = \true,false -> {
polCases : SS -> SS -> {s : Polarity => Str} = \true,false -> {
s = table {
Pos => true ;
Neg => false
Pos => true.s ;
Neg => false.s
}
} ;