rzk-0.4.0: 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
solveRHSRzk.TypeCheck
SomeSectionNameLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
splitsRzk.TypeCheck
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