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

Index - L

Lambda 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
LambdaELanguage.Rzk.Free.Syntax
LambdaFLanguage.Rzk.Free.Syntax
LambdaTLanguage.Rzk.Free.Syntax
lambdaTRzk.TypeCheck
LambdaTELanguage.Rzk.Free.Syntax
LanguageLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
Language'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
LanguageDecl 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
LanguageDecl'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
layoutCloseLanguage.Rzk.Syntax.Layout
LayoutDelimiters 
1 (Type/Class)Language.Rzk.Syntax.Layout
2 (Data Constructor)Language.Rzk.Syntax.Layout
layoutErrorLanguage.Rzk.Syntax.Layout
layoutOpenLanguage.Rzk.Syntax.Layout
layoutSepLanguage.Rzk.Syntax.Layout
layoutStopWordsLanguage.Rzk.Syntax.Layout
layoutWordsLanguage.Rzk.Syntax.Layout
limitLengthRzk.TypeCheck
LineLanguage.Rzk.Syntax.Layout
lineLanguage.Rzk.Syntax.Layout
localDeclRzk.TypeCheck
localDeclPreparedRzk.TypeCheck
localDeclsRzk.TypeCheck
localDeclsPreparedRzk.TypeCheck
localRenderBackendRzk.TypeCheck
localScopesRzk.TypeCheck
localTopeRzk.TypeCheck
localTopesRzk.TypeCheck
localTopesEntailBottomRzk.TypeCheck
localTopesNFRzk.TypeCheck
localTopesNFUnionRzk.TypeCheck
localVerbosityRzk.TypeCheck
locationRzk.TypeCheck
locationFilePathRzk.TypeCheck
LocationInfo 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
locationLineRzk.TypeCheck
logDebugLanguage.Rzk.VSCode.Logging
logErrorLanguage.Rzk.VSCode.Logging
logInfoLanguage.Rzk.VSCode.Logging
logWarningLanguage.Rzk.VSCode.Logging
LSPLanguage.Rzk.VSCode.Env