Index - N
| NamedPoint | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| neovimAsync | Cornelis.Utils |
| nextGoal | Cornelis.Goals |
| None | Cornelis.Types.Agda |
| NonInteractive | Cornelis.Types.Agda |
| NoRange | Cornelis.Types.Agda |
| noRange | Cornelis.Types.Agda |
| NormalForm | Cornelis.Types |
| Normalised | Cornelis.Types.Agda |
| normalizationMode | Plugin |
| notifyEdit | Plugin |
| np_interval | Cornelis.Types |
| np_name | Cornelis.Types |