Goal | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
goal | Twee |
goal_eqn | Twee |
goal_expanded_lhs | Twee |
goal_expanded_rhs | Twee |
goal_lhs | Twee |
goal_name | Twee |
goal_number | Twee |
goal_rhs | Twee |
green | Twee.Pretty, Twee.Base |
ground | Twee.Base |
groundAxiomsAndSubsts | Twee.Proof |
groundJoin | Twee.Join |
groundJoinFrom | Twee.Join |
groundJoinFromMaybe | Twee.Join |