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

Index - N

NLanguage.Rzk.Syntax.Lex
namedBlockRzk.TypeCheck
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