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?

Josh

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.