Nil | Symantic.Typed.Data, Symantic.Typed |
nil | Symantic.Typed.Lang, Symantic.Typed |
noPerm | Symantic.Dityped.Lang, Symantic.Dityped |
normalOrderReduction | Symantic.Typed.Optimize, Symantic.Typed |
Nothing | Symantic.Typed.Data, Symantic.Typed |
nothing | Symantic.Typed.Lang, Symantic.Typed |