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

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