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.

Best,
Wenda

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,
	Florian

--
Wenda Li
PhD Candidate
Computer Laboratory
University of Cambridge




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