mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 08:32:50 -06:00
Removed srg0006, it was a duplicate of srg0002
This commit is contained in:
@@ -1,10 +0,0 @@
|
|||||||
-- A grammar with a cycle caused by an empty category.
|
|
||||||
cat S; E;
|
|
||||||
|
|
||||||
fun f : E -> S -> S;
|
|
||||||
fun g : S ;
|
|
||||||
fun e : E ;
|
|
||||||
|
|
||||||
lin f e s = { s = e.s ++ s.s } ;
|
|
||||||
lin g = { s = "s" } ;
|
|
||||||
lin e = { s = [] } ;
|
|
||||||
Reference in New Issue
Block a user