Great! How the type rules detailed in the "scripting the type inference engine" paper are implemented? it is possible to script the inference engine with such rules? If so, are there some examples? 2015-04-20 10:36 GMT+02:00 Jurriaan Hage :

Dear all,

we have recently uploaded Helium 1.8.1, the novice friendly Haskell compiler, to Hackage.

Improvements in this version - Helium can again work together with our Java-based programming environment Hint. The jar file for Hint itself can be downloaded from the Helium website at: http://foswiki.cs.uu.nl/foswiki/Helium which also has some more documentation on how to use Hint and helium. - the svn location if you are interested in the sources is now the correct one

To install Helium simply type

cabal install helium cabal install lvmrun

Helium compiles with GHC 7.6.3 and 7.8.x, but does not yet compile with 7.10.

Any questions and feedback are welcome at helium@cs.uu.nl.

best regards, The Helium Team

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

-- Alberto.