Re: [isabelle] Decision procedures through computation & code_reflect
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:
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,
University of Cambridge
This archive was generated by a fusion of
Pipermail (Mailman edition) and