Welcome to issue 193 of the HWN, a newsletter covering developments in
the Haskell community. This release covers the week of July 24 to
30, 2011.
[1] http://goo.gl/8hDku
You can find an HTML rendition of this issue at:
http://contemplatecode.blogspot.com/2011/08/haskell-weekly-
Greetings,
Following some work at hac-phi, I've finally put together a new
release of vector-algorithms. It should now be available via hackage,
or you can pull from code.haskell.org if you prefer:
hackage: http://hackage.haskell.org/package/vector-algorithms/
latest: darcs get http://code.ha
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,