Index
| a | SimpleReflect |
| Associativity | SimpleReflect |
| b | SimpleReflect |
| c | SimpleReflect |
| d | SimpleReflect |
| done | ShowQ |
| e | SimpleReflect |
| Expr | SimpleReflect |
| expr | SimpleReflect |
| f | SimpleReflect |
| f' | SimpleReflect |
| f'' | SimpleReflect |
| FromExpr | SimpleReflect |
| fromExpr | SimpleReflect |
| fun | SimpleReflect |
| g | SimpleReflect |
| h | SimpleReflect |
| i | SimpleReflect |
| Infix | SimpleReflect |
| InfixL | SimpleReflect |
| InfixR | SimpleReflect |
| j | SimpleReflect |
| k | SimpleReflect |
| l | SimpleReflect |
| m | SimpleReflect |
| myquickcheck | ShowQ |
| myquickcheck' | ShowQ |
| mysmallcheck | ShowQ |
| mysmallcheck' | ShowQ |
| n | SimpleReflect |
| o | SimpleReflect |
| op | SimpleReflect |
| p | SimpleReflect |
| q | SimpleReflect |
| r | SimpleReflect |
| reduce | SimpleReflect |
| reduction | SimpleReflect |
| s | SimpleReflect |
| t | SimpleReflect |
| tests | ShowQ |
| u | SimpleReflect |
| v | SimpleReflect |
| var | SimpleReflect |
| w | SimpleReflect |
| x | SimpleReflect |
| y | SimpleReflect |
| z | SimpleReflect |