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.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and