mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
10 lines
136 B
Plaintext
10 lines
136 B
Plaintext
cat S; E;
|
|
|
|
fun f : E -> S ;
|
|
fun g : S -> S ;
|
|
fun e : E ;
|
|
|
|
lin f e = { s = e.s } ;
|
|
lin g s = { s = s.s ++ "x" } ;
|
|
lin e = { s = "e" } ;
|