some paradigm extensions

This commit is contained in:
Aarne Ranta
2018-01-21 12:18:15 +01:00
parent 5d9393b5ce
commit 95ca88bf02
3 changed files with 14 additions and 1 deletions

View File

@@ -29,5 +29,9 @@ oper
mmkQuant : Quant -> A -> Quant = \q,a -> q ** {
s,sp = \\x,n,g,c => q.s ! x ! n ! g ! c ++ a.s ! Posit ! agrAdj g q.a n ((prepC c).c)
} ;
-- e.g. derjenige
mmbQuant : Quant -> A -> Quant = \q,a -> q ** {
s,sp = \\x,n,g,c => q.s ! x ! n ! g ! c + a.s ! Posit ! agrAdj g q.a n ((prepC c).c)
} ;
}