Re: [isabelle] Building a context_parser from a parser

Alternatively, what is the idiom to chain parsers and context_parsers
together, say to parse arguments to methods?


On 7/22/19 1:39 PM, Joshua Chen wrote:
> Dear list,
> What is the idiomatic way to build a `'a context_parser` from a `'a
> parser`? (I want the equivalent of Args.add but as a context parser.)
> Cheers,
> Josh

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