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 available here for download:

Haskabelle2009II.tar.gz 0.2 MB

This also includes documentation to be found in the doc/ directory.


…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.