mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
14 lines
233 B
Plaintext
14 lines
233 B
Plaintext
cat S; X; E;
|
|
|
|
fun s : S ;
|
|
fun es : E -> S -> S ;
|
|
fun sx : S -> X -> S ;
|
|
fun x : X ;
|
|
fun e : E ;
|
|
|
|
lin s = { s = "s" } ;
|
|
lin es e s = { s = e.s ++ s.s } ;
|
|
lin sx s x = { s = s.s ++ x.s } ;
|
|
lin x = { s = "x" } ;
|
|
lin e = { s = "e" } ;
|