From 124738068a401b872369b8f4fb957bbdcd1bda87 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 17 Dec 2008 15:41:38 +0000 Subject: completed Russian grammar with missing syntax functions (marked ---- AR 17/12/2008); their effects should be checked --- next-lib/src/prelude/Coordination.gf | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'next-lib/src/prelude') diff --git a/next-lib/src/prelude/Coordination.gf b/next-lib/src/prelude/Coordination.gf index 499b45306..4c7f55f40 100644 --- a/next-lib/src/prelude/Coordination.gf +++ b/next-lib/src/prelude/Coordination.gf @@ -125,5 +125,14 @@ oper s2 = xs.s2 } ; + consrTable3 : (P,Q,R : Type) -> Str -> {s : P => Q => R => Str} -> + ListTable3 P Q R -> ListTable3 P Q R = + \P,Q,R,c,x,xs -> + {s1 = table P {p => table Q {q => table R { + r => x.s ! p ! q ! r ++ c ++ xs.s1 ! p ! q ! r + }}} ; + s2 = xs.s2 + } ; + } ; -- cgit v1.2.3