summaryrefslogtreecommitdiff
path: root/examples-3.0/tutorial/smart/SmartSwe.gf
blob: a537639d6dce3509209c7d8a27d3a50c6f335ad8 (plain)
1
2
3
4
5
--# -path=.:alltenses:prelude

concrete SmartSwe of Smart = SmartI with
  (Syntax = SyntaxSwe),
  (LexSmart = LexSmartSwe) ;