Name | Language.PiSigma.Syntax |
name | Language.PiSigma.Syntax |
natural | Language.PiSigma.Lexer |
naturalOrFloat | Language.PiSigma.Lexer |
NCase | Language.PiSigma.Syntax |
Ne | |
1 (Type/Class) | Language.PiSigma.Syntax |
2 (Data Constructor) | Language.PiSigma.Syntax |
Nest | Language.PiSigma.Pretty |
nest | Language.PiSigma.Pretty |
Nesting | Language.PiSigma.Pretty |
nesting | Language.PiSigma.Pretty |
nf | Language.PiSigma.Normalise |
NForce | Language.PiSigma.Syntax |
Nil | Language.PiSigma.Pretty |
NSplit | Language.PiSigma.Syntax |
null | |
1 (Function) | Language.PiSigma.Util.String.Parser |
2 (Function) | Language.PiSigma.Util.String.Internal |
NUnfold | Language.PiSigma.Syntax |
NVar | Language.PiSigma.Syntax |