Re: [isabelle] Proof of concept: BNF-based records



> One important aspect of localizing the record package is actually the
> concrete syntax. When that is done properly, syntax could be attached
> to
> different term constructions, independently of the underlying record
> representation.

Is there a way to do advanced syntax (e.g. nonterminal, syntax,
translations, parse_translation, print_ast_translation) properly (e.g.
localized)?

--
  Peter








This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.