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

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