msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Scandinavian conjunction

Browse Source
This commit is contained in:
aarne
2005-12-07 22:22:29 +00:00
parent 5a9db982dc
commit 59d1b1271b
7 changed files with 77 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lib/prelude/Coordination.gf
View File

@@ -1,4 +1,4 @@
resource Coordination = {
resource Coordination = open Prelude in {
param
ListSize = TwoElem | ManyElem ;
@@ -27,6 +27,12 @@ oper
conjunctDistrX : ConjunctionDistr -> ListX -> Str = \or,xs ->
or.s1 ++ xs.s1 ++ or.s2 ++ xs.s2 ;
conjunctSS : Conjunction -> ListX -> SS = \or,xs ->
ss (xs.s1 ++ or.s ++ xs.s2) ;
conjunctDistrSS : ConjunctionDistr -> ListX -> SS = \or,xs ->
ss (or.s1 ++ xs.s1 ++ or.s2 ++ xs.s2) ;
-- all this lifted to tables
ListTable : Type -> Type = \P -> {s1,s2 : P => Str} ;