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

Index - S

SFree.Scoped
saturateTopesRzk.TypeCheck
saturateWithRzk.TypeCheck
ScopeFree.Scoped
ScopedTypeErrorRzk.TypeCheck
ScopeInfo 
1 (Type/Class)Rzk.TypeCheck
2 (Data Constructor)Rzk.TypeCheck
scopeNameRzk.TypeCheck
scopeToDeclsRzk.TypeCheck
scopeVarsRzk.TypeCheck
Second 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
SecondELanguage.Rzk.Free.Syntax
SecondFLanguage.Rzk.Free.Syntax
SecondTLanguage.Rzk.Free.Syntax
secondTRzk.TypeCheck
SecondTELanguage.Rzk.Free.Syntax
SectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
SectionName'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
setOptionRzk.TypeCheck
ShapeIdRzk.TypeCheck
SilentRzk.TypeCheck
simplifyLHSRzk.TypeCheck
simplifyLHSwithDisjunctionsRzk.TypeCheck
solveRHSRzk.TypeCheck
SomeSectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
splitsRzk.TypeCheck
startCharacterLanguage.Rzk.VSCode.Tokens
startSectionRzk.TypeCheck
StatusLanguage.Rzk.Syntax.Layout
sTokenLanguage.Rzk.Syntax.Layout
stripTypeRestrictionsRzk.TypeCheck
subPointsRzk.TypeCheck
substituteFree.Scoped
substituteTLanguage.Rzk.Free.Syntax
subTopes2Rzk.TypeCheck
SumFree.Scoped
switchVarianceRzk.TypeCheck