We recently learned of a serious undocumented vulnerability in the ssh
http://hackage.haskell.org/package/ssh package. This is a minimal ssh server
implementation used by darcsden http://hackage.haskell.org/package/darcsden
to support darcs push/pull. If you use the ssh package, or you have
**
7th Working Conference on Verified Software: Theories, Tools, and
Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15
Co-located with 25th Conference on Computer Aided
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:
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
One of the central repositories of knowledge in the Haskell world is the
HaskellWiki (https://wiki.haskell.org). This wiki has been with the Haskell
community for years, and contains a wealth of knowledge. Like other services on
the haskell.org domain and with haskell.org equipment, ultimate
Magnus, you're a rock star!
On 17/04/2015 17:55, Magnus Therning wrote:
On Fri, Apr 17, 2015 at 12:04:49AM +0200, Magnus Therning wrote:
On Tue, Apr 07, 2015 at 07:23:16PM +0200, Dawid Loubser wrote:
Hi All,
Since upgrading to GHC 7.10, I am unable to build (e.g. via a straight
cabal