Index - N
| Name | Wingman.Types |
| name | Wingman.Metaprogramming.Lexer |
| nary | Wingman.Tactics |
| newSubgoal | Wingman.Machinery |
| NoApplicableTactic | Wingman.Types |
| Nondeterministic | Wingman.Metaprogramming.Parser.Documentation |
| NoProgress | Wingman.Types |
| normalizeHypothesis | Wingman.Judgements |
| normalizeJudgement | Wingman.Judgements |
| normalizeType | Wingman.GHC |
| NothingToDo | Wingman.Types |
| NotInScope | Wingman.Types |
| Nullary | Wingman.Metaprogramming.Parser.Documentation |
| nullary | Wingman.Metaprogramming.Parser |
| Number | Wingman.Naming |