examples/attempto/AttemptoGer.gf


1
2
3
4
5
6
7

--# -path=.:/Users/aarne/GF/next-lib/present

concrete AttemptoGer of Attempto = SymbolsC, NumeralGer ** AttemptoI with
  (Syntax = SyntaxGer),
  (Symbolic = SymbolicGer),
  (LexAttempto = LexAttemptoGer) ;