path: root/gf-book/examples/chapter2/Strings.gf

abstract Strings = Letters ** {

cat S ;
fun 
  E : S ;
  C : L -> S -> S ;
}