narc-0.1: Query SQL databases using Nested Relational Calculus embedded in Haskell. (Index - P)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
Z
!
$
\
All

Index - P

perhaps	Narc.Rewrite
PlainTerm	Narc.AST
Plus	Narc.SQL
Pretty	Narc.Pretty
pretty	Narc.Pretty
PrimApp	Narc.AST
primApp	Narc
primApp_	Narc.AST
Project	Narc.AST
project	Narc
project_	Narc.AST
prop_composeTySubst	Narc.Type
prop_eval_safe	Narc.Test
prop_typedTermGen_tyCheck	Narc.Test
prop_unify_apply_subst	Narc.Type