On Jul 5, 2006, at 3:07 PM, Niklas Broberg wrote:
Lava: http://www.cs.chalmers.se/~koen/Lava/
Excellent example, thank you Niklas!
Are you using QuickCheck for verification?
Thanks, Joel
--
http://wagerlabs.com/
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
