Index
| And | HW05 |
| anyM | HW05 |
| BinOp | HW05 |
| Clause | |
| 1 (Type/Class) | HW05 |
| 2 (Data Constructor) | HW05 |
| CNF | |
| 1 (Type/Class) | HW05 |
| 2 (Data Constructor) | HW05 |
| Equiv | HW05 |
| eval | HW05 |
| eval' | HW05 |
| foldMapM | HW05 |
| Formula | HW05 |
| FormulaTree | HW05 |
| getClauses | HW05 |
| getLiterals | HW05 |
| getVariables | HW05 |
| Implies | HW05 |
| insert | HW05 |
| Let | HW05 |
| Literal | HW05 |
| Neg | HW05 |
| Not | HW05 |
| Op | HW05 |
| Or | HW05 |
| Pos | HW05 |
| pprint | HW05 |
| Pretty | HW05 |
| testAll | HW05 |
| toCNF | HW05 |
| Valuation | HW05 |
| Var | HW05 |
| Varname | HW05 |