Re: [isabelle] Decision procedures through computation & code_reflect

Hi Florian,

Many thanks for your help. With code_reflect and static hold, my tactics work like magic. I think it would be ideal to include such things in the code generation tutorial.


On 2015-02-07 19:13, Florian Haftmann wrote:
Hi Wenda,

the attached theory shows by example how the static context of an
evaluation can be augmented with type class instances.  Watch out for
the text blocks.

Hope this helps,

Wenda Li
PhD Candidate
Computer Laboratory
University of Cambridge

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