Re: [isabelle] code generation for saturated naturals



The issue was related to my misunderstanding of the code generator handling abstract (code) types. After some enlightment, code generation for saturated naturals in Haskell does not pose a problem any longer.

Lukas

On 09/09/2011 10:06 AM, Lukas Bulwahn wrote:
It seems as if this saturated naturals library is still causing some trouble with the code generator. I am looking into this and will probably solve it within the next hours.


Lukas








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