Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle's code generator for Haskell

view this post on Zulip Email Gateway (Aug 18 2022 at 13:08):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Dear René,

try

export_code ... in Haskell file .. (string_classes)

This is a mere heuristics but until now it worked quite well.

Hope this helps
Florian

René Thiemann schrieb:
signature.asc

Last updated: May 03 2024 at 01:09 UTC