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 <j.h...@uu.nl>:

> 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 hel...@cs.uu.nl.
>
> best regards,
> The Helium Team
>
> _______________________________________________
> Haskell-Cafe mailing list
> haskell-c...@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>



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

Reply via email to