[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
Isabelle2016-1).

Being curious for your responses,
	Florian

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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