Haskabelle

What is Haskabelle?

Haskabelle is a converter from Haskell source files to Isabelle/HOL theories implemented in Haskell itself.

Obtaining Haskabelle

The current Haskabelle release is part of the current Isabelle release, in the contrib/ directory. The documentation can be found in the doc/ directory in the Haskabelle distribution.

Support

…is available via the Isabelle user mailing list.

For the curious

Haskabelle development can be followed in the Haskabelle repository; use at your own risk.