Hello!
I'd like to announce the first release of the quickcheck-instances
package, which aims to consolidate commonly needed class instances for
use with QuickCheck.
These instances are appropriate when your tests don't have strong
requirements on the nature of the input data - for example, if yo
In order to keep up with customer demand, we are looking to hire a
Haskell expert to work with us at Well-Typed
(http://www.well-typed.com/) as a Haskell consultant.
This is an exciting opportunity for someone who is passionate about
Haskell and who is keen to improve and promote Haskell in a
prof
== CALL FOR PAPERS ==
24th International Conference on Computer Aided Verification (CAV
2012) July 7-13, 2012 Berkeley, California, USA
Program Chairs: Madhusudan Parathasarathy and Sanjit A. Seshia
Website: http://cav12.cs.illinois.edu/
Aims and Scope
---
The conference o
