Re: [isabelle] Scala code generator generates ill-typed code from subtraction of n-ary functions

Hi Cornelius,

> I have >8k LOC Scala application with interactive visualization,
> command tab completion and some other nifty features from third party
> libraries (not counted in the LOC). The core reasoning logic (> 2.5k
> LOC) is generated by the code generator. It is very feasible. You do a
> great job! The transition form Isabelle 2012 / Scala 2.9 to Isabelle
> 2013 / Scala 2.10 was quite painless. However, I really recommend
> using an object oriented facade to wrap the generated Scala code
> before usage with hand-written Scala.

thanks for this encouraging report!



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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