[isabelle] Haskabelle

Dear Isabelle users,

up until Isabelle2016 there has been a neat tool called Haskabelle
(http://isabelle.in.tum.de/repos/haskabelle) allowing to import Haskell
source files into Isabelle/HOL theories (within certain bounds).

As it seems, this is no longer maintained.

My impression is that Haskabelle is maybe not used for big projects but
a neat tool for beginners to get acquainted with Isabelle/HOL.

How do Isabelle users see Haskabelle?  That question is important since
there are considerable maintainance efforts required to make it usable
again within the contemporary biotope (somewhere around GHC 7.10.3 and

Being curious for your responses,


PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.