summaryrefslogtreecommitdiff
path: root/examples/regulus/toy0/Toy0Fre.gf
blob: 513e9b390badc18ce87c9bf23388625b40c1aa8f (plain)
1
2
3
4
5
--# -path=.:present:prelude

concrete Toy0Fre of Toy0 = Toy0I with
  (Syntax = SyntaxFre),
  (Lexicon = LexiconFre) ;