index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
srg
/
left-recursive
/
left-recursive.gf
blob: df873e4a92019bad3b25c50d6ac640111bf4a97c (
plain
)
1
2
3
4
5
6
7
cat S; fun f : S -> S ; g : S ; lin f x = { s = x.s ++ "f" } ; g = { s = "s" } ;