A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
*
+
.
/
<
=
>
?
@
\
^
|
-
_
All

Index - K

kanOpBase	Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive
kanOpCofib	Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive
KanOperation	Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive
kanOpName	Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive
kanOpSides	Mikan.TypeChecking.Primitive.Cubical.Base, Mikan.TypeChecking.Primitive.Cubical, Mikan.TypeChecking.Primitive
Keep	Mikan.Interaction.Base
keepComments	Mikan.Syntax.Parser.Comments
keepCommentsM	Mikan.Syntax.Parser.Comments
KeepHighlighting	Mikan.Interaction.Response.Base, Mikan.Interaction.Response
KeepLoneProjectionLike	Mikan.TypeChecking.ProjectionLike
KeepMetas
1 (Type/Class)	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
2 (Data Constructor)	Mikan.TypeChecking.Monad.MetaVars, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
KeepNames
1 (Type/Class)	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
2 (Data Constructor)	Mikan.TypeChecking.Monad.Context, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
Key
1 (Type/Class)	Mikan.Interaction.JSON
2 (Type/Class)	Mikan.TypeChecking.DiscrimTree.Types
key	Mikan.Utils.Lens, Mikan.TypeChecking.Monad.Base, Mikan.TypeChecking.Monad, Mikan.Compiler.Backend
keyModifier	Mikan.Interaction.JSON
keys
1 (Function)	Mikan.Utils.Map1
2 (Function)	Mikan.Utils.AssocList
3 (Function)	Mikan.Utils.BiMap
keysSet	Mikan.Utils.Map1
KeyValue	Mikan.Interaction.JSON
keyValueList	Mikan.Mimer.Types
KeyValueOmit	Mikan.Interaction.JSON
Keyword
1 (Data Constructor)	Mikan.Syntax.Common.Aspect, Mikan.Interaction.Highlighting.Precise
2 (Type/Class)	Mikan.Syntax.Parser.Tokens
keyword
1 (Function)	Mikan.Syntax.Parser.LexActions
2 (Function)	Mikan.Interaction.Highlighting.Vim
killArgs	Mikan.TypeChecking.MetaVars.Occurs
KILLRANGE	Mikan.Syntax.Position
KillRange	Mikan.Syntax.Position
killRange	Mikan.Syntax.Position
killRangeMap	Mikan.Syntax.Position
killRangeN	Mikan.Syntax.Position
KillRangeT	Mikan.Syntax.Position
kind	Mikan.Interaction.JSON
kind'	Mikan.Interaction.JSON
kindedThing	Mikan.Syntax.Scope.Base
KindOfBlock	Mikan.Syntax.Concrete.Definitions.Types
KindOfName	Mikan.Syntax.Abstract.Name, Mikan.Syntax.Internal.Term, Mikan.Syntax.Abstract
kindOfNameToNameKind	Mikan.Interaction.Highlighting.Precise
KindsOfNames	Mikan.Syntax.Scope.Base
KName	Mikan.Syntax.Abstract.Views
KnownBool	Mikan.Utils.TypeLits
KnownFVs	Mikan.Syntax.Common
KnownIdent	Mikan.Syntax.Concrete
KnownOpApp	Mikan.Syntax.Concrete
KVS
1 (Type/Class)	Mikan.TypeChecking.Serialise.Instances.General
2 (Type/Class)	Mikan.TypeChecking.Serialise.Instances.Highlighting
KwAbstract	Mikan.Syntax.Parser.Tokens
KwBUILTIN	Mikan.Syntax.Parser.Tokens
KwCATCHALL	Mikan.Syntax.Parser.Tokens
KwCoData	Mikan.Syntax.Parser.Tokens
KwCoInductive	Mikan.Syntax.Parser.Tokens
KwCOMPILE	Mikan.Syntax.Parser.Tokens
KwConstructor	Mikan.Syntax.Parser.Tokens
KwData	Mikan.Syntax.Parser.Tokens
KwDISPLAY	Mikan.Syntax.Parser.Tokens
KwDo	Mikan.Syntax.Parser.Tokens
KwETA	Mikan.Syntax.Parser.Tokens
KwEta	Mikan.Syntax.Parser.Tokens
KwField	Mikan.Syntax.Parser.Tokens
KwForall	Mikan.Syntax.Parser.Tokens
KwFOREIGN	Mikan.Syntax.Parser.Tokens
KwHiding	Mikan.Syntax.Parser.Tokens
KwImport	Mikan.Syntax.Parser.Tokens
KwIMPOSSIBLE	Mikan.Syntax.Parser.Tokens
KwIn	Mikan.Syntax.Parser.Tokens
KwINCOHERENT	Mikan.Syntax.Parser.Tokens
KwInductive	Mikan.Syntax.Parser.Tokens
KwInfix	Mikan.Syntax.Parser.Tokens
KwInfixL	Mikan.Syntax.Parser.Tokens
KwInfixR	Mikan.Syntax.Parser.Tokens
KwINJECTIVE	Mikan.Syntax.Parser.Tokens
KwINJECTIVE_FOR_INFERENCE	Mikan.Syntax.Parser.Tokens
KwINLINE	Mikan.Syntax.Parser.Tokens
KwInstance	Mikan.Syntax.Parser.Tokens
KwInterleaved	Mikan.Syntax.Parser.Tokens
KwLet	Mikan.Syntax.Parser.Tokens
KwLINE	Mikan.Syntax.Parser.Tokens
KwMacro	Mikan.Syntax.Parser.Tokens
KwModule	Mikan.Syntax.Parser.Tokens
KwMutual	Mikan.Syntax.Parser.Tokens
KwNoEta	Mikan.Syntax.Parser.Tokens
KwNOINLINE	Mikan.Syntax.Parser.Tokens
KwNON_COVERING	Mikan.Syntax.Parser.Tokens
KwNON_TERMINATING	Mikan.Syntax.Parser.Tokens
KwNOT_PROJECTION_LIKE	Mikan.Syntax.Parser.Tokens
KwNO_POSITIVITY_CHECK	Mikan.Syntax.Parser.Tokens
KwNO_TERMINATION_CHECK	Mikan.Syntax.Parser.Tokens
KwNO_UNIVERSE_CHECK	Mikan.Syntax.Parser.Tokens
KwOpaque	Mikan.Syntax.Parser.Tokens
KwOpen	Mikan.Syntax.Parser.Tokens
KwOPTIONS	Mikan.Syntax.Parser.Tokens
KwOverlap	Mikan.Syntax.Parser.Tokens
KwOVERLAPPABLE	Mikan.Syntax.Parser.Tokens
KwOVERLAPPING	Mikan.Syntax.Parser.Tokens
KwOVERLAPS	Mikan.Syntax.Parser.Tokens
KwPatternSyn	Mikan.Syntax.Parser.Tokens
KwPOLARITY	Mikan.Syntax.Parser.Tokens
KwPostulate	Mikan.Syntax.Parser.Tokens
KwPrimitive	Mikan.Syntax.Parser.Tokens
KwPrivate	Mikan.Syntax.Parser.Tokens
KwPublic	Mikan.Syntax.Parser.Tokens
KwQuote	Mikan.Syntax.Parser.Tokens
KwQuoteTerm	Mikan.Syntax.Parser.Tokens
KwRange	Mikan.Syntax.Common.KeywordRange, Mikan.Syntax.Common
kwRange	Mikan.Syntax.Common.KeywordRange, Mikan.Syntax.Common
KwRecord	Mikan.Syntax.Parser.Tokens
KwRenaming	Mikan.Syntax.Parser.Tokens
KwRewrite	Mikan.Syntax.Parser.Tokens
KwSyntax	Mikan.Syntax.Parser.Tokens
KwTactic	Mikan.Syntax.Parser.Tokens
KwTERMINATING	Mikan.Syntax.Parser.Tokens
KwTo	Mikan.Syntax.Parser.Tokens
KwUnfolding	Mikan.Syntax.Parser.Tokens
KwUnquote	Mikan.Syntax.Parser.Tokens
KwUnquoteDecl	Mikan.Syntax.Parser.Tokens
KwUnquoteDef	Mikan.Syntax.Parser.Tokens
KwUsing	Mikan.Syntax.Parser.Tokens
KwVariable	Mikan.Syntax.Parser.Tokens
KwWARNING_ON_IMPORT	Mikan.Syntax.Parser.Tokens
KwWARNING_ON_USAGE	Mikan.Syntax.Parser.Tokens
KwWhere	Mikan.Syntax.Parser.Tokens
KwWith	Mikan.Syntax.Parser.Tokens