Welcome to issue 187 of the HWN, a newsletter covering developments in
the Haskell community. This release covers the week of June 12 to 18,
2011.
Announcements
Ian Lynagh announced a new patchlevel release of GHC (7.0.4). "This
release contains a handful of bugfixes relative to 7.
Announcing the release of v0.1 of 'randproc', a library for working with
random processes.
http://www.haskell.org/haskellwiki/Random_Processes
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
hspec version 0.6.1, Behavior Driven Development for Haskell, is now available!
This latest release includes some new and requested output formats.
From the hspec specs:
the "hHspecWithFormat" function
- can use the "silent" formatter to show no output
- can use the "progress" formatter to sho
VSTTE 2012
Verified Software: Theories, Tools and Experiments
January 28-29, 2012
Philadelphia, USA (co-located with POPL and VMCAI)
https://sites.google.com/site/vstte2012/
The Fourth International Conference on Verified Software: Theories,
Tools,
Dear all,
Just a quick reminder that the deadline for receiving applications
for this PhD studentship position is this Friday (24th June.)
Best wishes,
Graham
> +--+
>
> PhD Studentship in Functional Programming
>
>
