Re: [isabelle] Customise the Haskell code generator?



Hi Cornelius,

> Similar to <import "~~/src/HOL/Library/Code_Target_Int">, is there
> something like
> <import "~~/src/HOL/Library/Code_Trust_the_Target_Language_Standard_Library">?

this is the default. There are a lot of adaptations for Haskell already
built-in.

(You can observe that from the things that get imported.)

Cheers
Lars




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