Am 07.05.2013 um 09:59 schrieb Fabian Immler imm...@in.tum.de:
For conceptual advances, there has also been the idea of providing a slot for
pragmas for serializers:
One use-case is the need to add pragmas for the target language in the
generated code, but they could also be used to advise a
On Sat, 4 May 2013, Florian Haftmann wrote:
Since this feature has already been implemented for the Haskell code
generator by Yukata, I'm hoping this will be straightforward and if
the maintainers are interested, the feature can be taken on into
Isabelle 2014.
I am myself not involved in the
Hi Florian and Lukas,
Am 04.05.2013 um 09:07 schrieb Florian Haftmann
florian.haftm...@informatik.tu-muenchen.de
I am curious to to see the already existing and emerging changes. Maybe
there are already some things to point out then.
The attached small patch is used in our setting:
- every