Re: [isabelle] Haskabelle



I have never used it myself, but a tool to assist in verifying Haskell programs seems potentially important.
Larry

> 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
> Isabelle2016-1).
> 
> Being curious for your responses,
> 	Florian
> 
> -- 
> 
> PGP available:
> http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
> 




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