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:
| Haskabelle | |
| Haskabelle2009II.tar.gz | 0.2 MB |
This also includes documentation to be found in the doc/ directory.
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.