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

Index - I

IdJ 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
IdJELanguage.Rzk.Free.Syntax
IdJFLanguage.Rzk.Free.Syntax
IdJTLanguage.Rzk.Free.Syntax
idJTRzk.TypeCheck
IdJTELanguage.Rzk.Free.Syntax
ImplicitLanguage.Rzk.Syntax.Layout
inAllSubContextsRzk.TypeCheck
IncFree.Scoped
incIndexLanguage.Rzk.Free.Syntax
inCubeLayerRzk.TypeCheck
indentationLanguage.Rzk.Syntax.Layout
inferRzk.TypeCheck
inferAsRzk.TypeCheck
inferStandaloneRzk.TypeCheck
infoNFLanguage.Rzk.Free.Syntax
infoTypeLanguage.Rzk.Free.Syntax
infoWHNFLanguage.Rzk.Free.Syntax
InLFree.Scoped
InRFree.Scoped
insertExplicitAssumptionForRzk.TypeCheck
insertExplicitAssumptionFor'Rzk.TypeCheck
instantiateFree.Scoped
inTopeLayerRzk.TypeCheck
invalidateWHNFLanguage.Rzk.Free.Syntax
isImplicitLanguage.Rzk.Syntax.Layout
isLayoutLanguage.Rzk.Syntax.Layout
isLayoutCloseLanguage.Rzk.Syntax.Layout
isLayoutOpenLanguage.Rzk.Syntax.Layout
isLayoutSepLanguage.Rzk.Syntax.Layout
isParenCloseLanguage.Rzk.Syntax.Layout
isParenOpenLanguage.Rzk.Syntax.Layout
isStopLanguage.Rzk.Syntax.Layout
issueTypeErrorRzk.TypeCheck
issueWarningRzk.TypeCheck
isTokenInLanguage.Rzk.Syntax.Layout