Re: [Haskell-cafe] Haskell as embedded DSL

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/