examples/attempto/AttemptoFre.gf


1
2
3
4
5
6
7

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

concrete AttemptoFre of Attempto = AttemptoI with
  (Syntax = SyntaxFre),
  (Symbolic = SymbolicFre),
  (LexAttempto = LexAttemptoFre) ;