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

Index - U

underBinderRzk.TypeCheck.Eval, Rzk.TypeCheck
underScopeRzk.TypeCheck.Eval, Rzk.TypeCheck
underScope2Rzk.TypeCheck.Eval, Rzk.TypeCheck
underscoreIdentRzk.TypeCheck.Decl.Data
unescapeInitTailLanguage.Rzk.Syntax.Lex
unicode_TypeSigmaAltLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unicode_TypeSigmaTupleAltLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unifyRzk.TypeCheck.Unify
unifyInCurrentContextRzk.TypeCheck.Unify
unifyTermsRzk.TypeCheck.Unify
unifyTopesRzk.TypeCheck.Unify
unifyTypesRzk.TypeCheck.Unify
unifyViaDecomposeRzk.TypeCheck.Unify
Unit 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Foil.Syntax
UnitFLanguage.Rzk.Foil.Syntax
unitPointCollapseRzk.TypeCheck.Judgements, Rzk.TypeCheck
UnitTLanguage.Rzk.Foil.Syntax
unitTLanguage.Rzk.Foil.Syntax
Universe 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Foil.Syntax
UniverseCube 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Foil.Syntax
UniverseCubeFLanguage.Rzk.Foil.Syntax
UniverseCubeTLanguage.Rzk.Foil.Syntax
UniverseFLanguage.Rzk.Foil.Syntax
UniverseTLanguage.Rzk.Foil.Syntax
universeTLanguage.Rzk.Foil.Syntax
UniverseTope 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Foil.Syntax
UniverseTopeFLanguage.Rzk.Foil.Syntax
UniverseTopeTLanguage.Rzk.Foil.Syntax
unmarkUnresolvedLanguage.Rzk.Foil.Names
unsafeTermToPatternLanguage.Rzk.Foil.Names
unsetOptionRzk.TypeCheck.Decl, Rzk.TypeCheck
untypedLanguage.Rzk.Foil.Syntax
UntypedNodeLanguage.Rzk.Foil.Syntax
Uri 
1 (Type/Class)Language.Rzk.VSCode.ReferenceIndex
2 (Data Constructor)Language.Rzk.VSCode.ReferenceIndex
uriPathLanguage.Rzk.VSCode.ReferenceIndex
useSiteTokensLanguage.Rzk.VSCode.Handlers
utf16LengthLanguage.Rzk.VSCode.PositionEncoding
utf8EncodeLanguage.Rzk.Syntax.Lex