summaryrefslogtreecommitdiff
path: root/examples/attempto/AttemptoSwe.gf
blob: f0f1e62497d93d2aa954052a60602dab8b3cf9d8 (plain)
1
2
3
4
5
6
7
--# -path=.:present

concrete AttemptoSwe of Attempto = SymbolsC ** AttemptoI with
  (Syntax = SyntaxSwe),
  (Symbolic = SymbolicSwe),
  (LexAttempto = LexAttemptoSwe) ;