rzk-0.9.1: An experimental proof assistant for synthetic ∞-categories (Index - F)

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

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
All

Index - F

Face3D	Rzk.TypeCheck
faces	Rzk.TypeCheck
filterAccessible	Rzk.TypeCheck
filterInaccessible	Rzk.TypeCheck
First
1 (Data Constructor)	Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)	Language.Rzk.Free.Syntax
FirstE	Language.Rzk.Free.Syntax
FirstF	Language.Rzk.Free.Syntax
FirstT	Language.Rzk.Free.Syntax
firstT	Rzk.TypeCheck
FirstTE	Language.Rzk.Free.Syntax
fitsInto	Rzk.TypeCheck
Flat
1 (Data Constructor)	Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)	Language.Rzk.Free.Syntax
flattenBinderApp	Language.Rzk.Free.Syntax
foldBinderProjections	Language.Rzk.Free.Syntax
foldBinderProjectionsT	Language.Rzk.Free.Syntax
format	Rzk.Format
formatDocument
1 (Function)	Rzk.Format
2 (Function)	Language.Rzk.VSCode.Handlers
formatEnabled	Language.Rzk.VSCode.Config
formatFile	Rzk.Format
formatFileWrite	Rzk.Format
formatTextEdits	Rzk.Format
FormattingEdit
1 (Type/Class)	Rzk.Format
2 (Data Constructor)	Rzk.Format
Free	Free.Scoped
freeVars	Language.Rzk.Free.Syntax
freeVarsT	Language.Rzk.Free.Syntax
freeVarsT_	Rzk.TypeCheck
freshBinders	Rzk.TypeCheck
freshenBinderLeaves	Language.Rzk.Free.Syntax
fromAffine	Rzk.TypeCheck
fromMod	Language.Rzk.Free.Syntax
fromScope'	Language.Rzk.Free.Syntax
fromScopeBinder'	Language.Rzk.Free.Syntax
fromTerm'	Language.Rzk.Free.Syntax
fromTermWith'	Language.Rzk.Free.Syntax
fromTModalityToModalColon	Language.Rzk.Free.Syntax
fromTypeError	Rzk.TypeCheck
fromVarIdent	Language.Rzk.Free.Syntax
FS	Free.Scoped