narc-0.1: Query SQL databases using Nested Relational Calculus embedded in Haskell.

Narc.Failure.QuickCheck

Documentation