Cojoin
scalaz
Commutative
MultiValues
Conjunction
nyaya
Cont
scalaz
ContT
scalaz
Conts
scalaz
ContsT
scalaz
CycleDetector
nyaya
CycleFree
nyaya
c
Implication Reduction
check
CycleDetector Directed GraphType Undirected
choose
Platform
contramap
CycleDetector Logic
cycleFree
CycleDetector