diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-12-17 15:41:38 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-12-17 15:41:38 +0000 |
| commit | 124738068a401b872369b8f4fb957bbdcd1bda87 (patch) | |
| tree | 1038c6c8d514a5f74ed81e7f46496104bf9385dc /next-lib/src/prelude | |
| parent | cb44a12c1be3141f69e9bb9cfb4ae6abe7ac68eb (diff) | |
completed Russian grammar with missing syntax functions (marked ---- AR 17/12/2008); their effects should be checked
Diffstat (limited to 'next-lib/src/prelude')
| -rw-r--r-- | next-lib/src/prelude/Coordination.gf | 9 |
1 files changed, 9 insertions, 0 deletions
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 + } ; + } ; |