GitHub/gf-core
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-10-21 23:23:11 -06:00
Code Issues Packages Projects Releases Wiki Activity

more test/srg to examples/test/srg

Browse Source
This commit is contained in:
krasimir committed 2008-10-20 11:11:59 +00:00
1 parent 6f7d0ab08d
commit 3d92897a94
6 files changed
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

examples/test/srg/cyclic-direct/cyclic-direct.gf
+7
View File
@@ -0,0 +1,7 @@
cat S;
fun f : S -> S ;
fun g : S ;
lin f s = { s = s.s } ;
lin g = { s = "g" } ;