<div dir="ltr">Great!<div><br></div><div>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?</div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-04-20 10:36 GMT+02:00 Jurriaan Hage <span dir="ltr"><<a href="mailto:J.Hage@uu.nl" target="_blank">J.Hage@uu.nl</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear all,<br>
<br>
we have recently uploaded Helium 1.8.1, the novice friendly Haskell compiler, to Hackage.<br>
<br>
Improvements in this version<br>
 - Helium can again work together with our Java-based programming environment Hint.<br>
   The jar file for Hint itself can be downloaded from the Helium website at:<br>
       <a href="http://foswiki.cs.uu.nl/foswiki/Helium" target="_blank">http://foswiki.cs.uu.nl/foswiki/Helium</a><br>
   which also has some more documentation on how to use Hint and helium.<br>
 - the svn location if you are interested in the sources is now the correct one<br>
<br>
<br>
To install Helium simply type<br>
<br>
cabal install helium<br>
cabal install lvmrun<br>
<br>
Helium compiles with GHC 7.6.3 and 7.8.x, but does not yet compile with 7.10.<br>
<br>
Any questions and feedback are welcome at <a href="mailto:helium@cs.uu.nl">helium@cs.uu.nl</a>.<br>
<br>
best regards,<br>
The Helium Team<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">Alberto.</div>
</div>