examples/attempto/AttemptoUrd.gf


1
2
3
4
5
6

--# -path=.:./present
concrete AttemptoUrd of Attempto = SymbolsC ** AttemptoI - [mustVP] with
  (Syntax = SyntaxUrd),
  (Symbolic = SymbolicUrd),
  (LexAttempto = LexAttemptoUrd) ;