examples/attempto/AttemptoFin.gf


1
2
3
4
5
6
7

--# -path=.:present

concrete AttemptoFin of Attempto = NumeralFin, SymbolsC ** AttemptoI with
  (Syntax = SyntaxFin),
  (Symbolic = SymbolicFin),
  (LexAttempto = LexAttemptoFin) ;