GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-28 10:13:17 -06:00
Code Issues Packages Projects Releases Wiki Activity

checking name conflicts; some RGs don't work now

Browse Source
This commit is contained in:
aarne committed 2007-06-17 21:56:27 +00:00
1 parent 1af6e2d4cc
commit bf64f34032
11 files changed
+72 -69
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

prelude/Coordination.gf
-2
View File
@@ -4,8 +4,6 @@ param
ListSize = TwoElem | ManyElem ;
oper
SS = {s : Str} ; ----
ListX = {s1,s2 : Str} ;
twoStr : (x,y : Str) -> ListX = \x,y ->