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

*** empty log message ***

Browse Source
This commit is contained in:
peb
2004-06-15 18:24:17 +00:00
parent 3fb91e0f44
commit aa9f1ee7a3
10 changed files with 158 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
grammars/testConversions/TestVarsA.gf Normal file
View File

@@ -0,0 +1,24 @@
abstract TestVarsA = {
-- cat S; A; B;
-- fun a : B -> S;
-- fun b : A -> B -> S;
-- fun c : S;
-- cat V; W;
-- fun v : V;
-- fun w : W;
cat S;
--fun s : S;
fun e : S;
fun ee : S -> S;
fun f : S;
fun ff : S -> S;
-- cat D;
-- fun d : D;
-- fun dd : D -> D;
}