examples/attempto/AttemptoIta.gf


1
2
3
4
5
6
7

--# -path=.:present

concrete AttemptoIta of Attempto = NumeralIta, SymbolsC ** AttemptoI with
  (Syntax = SyntaxIta),
  (Symbolic = SymbolicIta),
  (LexAttempto = LexAttemptoIta) ;