Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Importing Literate Haskell using Haskabelle - ...

Email Gateway (Aug 22 2022 at 15:49):

From: Artur Gomes <gomesa@tcd.ie>
Dear All,

I was wondering if there's some sort of parameter to use whilst running
haskabelle
so I could import the Latex content from my Literate Haskell into the
Isabelle syntax.
If not, it's fine.

Best regards,

Last updated: Feb 15 2026 at 05:19 UTC