polite imperative except Scand,Rus; todo in Ita,Spa

This commit is contained in:
aarne
2006-12-13 10:13:02 +00:00
parent 694f644fe5
commit a970f40206
16 changed files with 55 additions and 28 deletions

View File

@@ -22,7 +22,16 @@ resource ParamX = open Prelude in {
QForm = QDir | QIndir ;
-- Imperatives: True = polite, False = familiar.
ImpForm = ImpF Number Bool ;
oper
numImp : ImpForm -> Number = \i ->
case i of {
ImpF n _ => n
} ;
conjNumber : Number -> Number -> Number = \m,n ->
case <m,n> of {
<Sg,Sg> => Sg ;