examples/attempto/AttemptoEng.gf


1
2
3
4
5
6
7

--# -path=.:present

concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI with
  (Syntax = SyntaxEng),
  (Symbolic = SymbolicEng),
  (LexAttempto = LexAttemptoEng) ;