Index - C
| Classical | Logic.Propositional, GDP |
| classically | Logic.Propositional, GDP |
| classify | Theory.Lists |
| classify' | Theory.Lists |
| Commutative | Logic.Classes, GDP |
| commutative | Logic.Classes, GDP |
| conjure | Data.Refined, GDP |
| Cons | Theory.Lists |
| cons | Theory.Lists |
| Cons' | Theory.Lists |
| consIsCons | Theory.Lists |
| consIsList | Theory.Lists |
| Cons_ | Theory.Lists |
| contradiction | Logic.Propositional, GDP |
| contradicts | Logic.Propositional, GDP |
| contradicts' | Logic.Propositional, GDP |
| contrapositive | Logic.Propositional, GDP |