Index - N
| nameLaw | Algebra.Classes |
| NatTrans | |
| 1 (Type/Class) | Algebra.Category.NatTrans |
| 2 (Data Constructor) | Algebra.Category.NatTrans |
| Natural | Algebra.Classes |
| negate | Algebra.Classes |
| new | Algebra.Category |
| norm | Algebra.Linear |
| normalise | Algebra.Morphism.LinComb |
| normalize | |
| 1 (Function) | Algebra.Classes |
| 2 (Function) | Algebra.Linear |