gf-3.2: book/examples/chapter2/StringsFW.gf

concrete StringsFW of Strings = LettersCnc ** {
  lincat S = Str ;
  lin E = [] ;
  lin C head tail = head ++ tail ;
}