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

started BasicGer

Browse Source
This commit is contained in:
aarne committed 2006-01-16 10:37:51 +00:00
1 parent 96465414bf
commit 1bd124150f
4 files changed
+274 -229
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

prelude/Prelude.gf
+1 -1
View File
@@ -30,7 +30,7 @@ oper
postfixSS : Str -> SS -> SS = \f,x -> ss (x.s ++ f) ;
embedSS : Str -> Str -> SS -> SS = \f,g,x -> ss (f ++ x.s ++ g) ;
id : (A : Type) -> A -> A ;
id : (A : Type) -> A -> A = \_,a -> a ;
-- discontinuous
SD2 = {s1,s2 : Str} ;