examples/attempto/AttemptoSwe.gf


1
2
3
4
5
6
7

--# -path=.:present

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