two-place Dut.mkA to deal with unpredictable attributive form

This commit is contained in:
aarne
2015-04-16 07:03:29 +00:00
parent 4c06e1e664
commit 41f6e60edc
3 changed files with 19 additions and 12 deletions
+1 -1
View File
@@ -92,7 +92,7 @@ lin
let dritt = init dritte in
table {
NCard _ _ => drei ;
NOrd a => (regAdjective dritt).s ! Posit ! a
NOrd a => (reg2Adjective dritt dritte).s ! Posit ! a
} ;
mkDigit : (x1,_,_,x4 : Str) -> LinDigit =