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

Index - S

SFree.Scoped
saturateTopesRzk.TypeCheck
saturateWithRzk.TypeCheck
ScopeFree.Scoped
ScopedTypeErrorRzk.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
setOptionRzk.TypeCheck
ShapeIdRzk.TypeCheck
showSomeTermTsRzk.TypeCheck
SilentRzk.TypeCheck
simplifyLHSRzk.TypeCheck
solveRHSRzk.TypeCheck
splitsRzk.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