rzk-0.4.0: An experimental proof assistant for synthetic ∞-categories

Index - N

NLanguage.Rzk.Syntax.Lex
newLineLanguage.Rzk.Syntax.Layout
nextPosLanguage.Rzk.Syntax.Layout
nfTRzk.TypeCheck
nfTopeRzk.TypeCheck
noDeclUsedVarsLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
NormalRzk.TypeCheck
NoSectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
nubTermTRzk.TypeCheck