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

Narc.Compile

Documentation

compile :: TyEnv -> TypedTerm -> QuerySource