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

Index - U

unescapeInitTailLanguage.Rzk.Syntax.Lex
unicode_TypeFunLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unicode_TypeSigmaLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unicode_TypeSigmaAltLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
unifyRzk.TypeCheck
unifyInCurrentContextRzk.TypeCheck
unifyTermsRzk.TypeCheck
unifyTopesRzk.TypeCheck
unifyTypesRzk.TypeCheck
Universe 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UniverseCube 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UniverseCubeELanguage.Rzk.Free.Syntax
UniverseCubeFLanguage.Rzk.Free.Syntax
UniverseCubeTLanguage.Rzk.Free.Syntax
UniverseCubeTELanguage.Rzk.Free.Syntax
UniverseELanguage.Rzk.Free.Syntax
UniverseFLanguage.Rzk.Free.Syntax
UniverseTLanguage.Rzk.Free.Syntax
universeTRzk.TypeCheck
UniverseTELanguage.Rzk.Free.Syntax
UniverseTope 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Free.Syntax
UniverseTopeELanguage.Rzk.Free.Syntax
UniverseTopeFLanguage.Rzk.Free.Syntax
UniverseTopeTLanguage.Rzk.Free.Syntax
UniverseTopeTELanguage.Rzk.Free.Syntax
unsafeInferStandalone'Rzk.TypeCheck
unsafeTraceAction'Rzk.TypeCheck
unsetOptionRzk.TypeCheck
untypedFree.Scoped
utf8EncodeLanguage.Rzk.Syntax.Lex