Re: [isabelle] Haskabelle
I have never used it myself, but a tool to assist in verifying Haskell programs seems potentially important.
> On 10 Mar 2017, at 13:04, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> 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:
This archive was generated by a fusion of
Pipermail (Mailman edition) and