| keepComments | Agda.Syntax.Parser.Comments |
| keepCommentsM | Agda.Syntax.Parser.Comments |
| Keyword | |
| 1 (Type/Class) | Agda.Syntax.Parser.Tokens |
| 2 (Data Constructor) | Agda.Interaction.Highlighting.Precise |
| keyword | |
| 1 (Function) | Agda.Syntax.Parser.LexActions |
| 2 (Function) | Agda.Interaction.Highlighting.Vim |
| killAbs | Agda.TypeChecking.Test.Generators |
| killArgs | Agda.TypeChecking.MetaVars.Occurs |
| killedType | Agda.TypeChecking.MetaVars.Occurs |
| KillRange | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange1 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange2 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange3 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange4 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange5 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange6 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| killRange7 | Agda.Syntax.Position, Agda.Interaction.GhciTop |
| KillVar | Agda.TypeChecking.Test.Generators |
| killVar | Agda.TypeChecking.Test.Generators |
| KindOfName | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
| KwAbstract | Agda.Syntax.Parser.Tokens |
| KwBUILTIN | Agda.Syntax.Parser.Tokens |
| KwCoData | Agda.Syntax.Parser.Tokens |
| KwCOMPILED | Agda.Syntax.Parser.Tokens |
| KwCOMPILED_DATA | Agda.Syntax.Parser.Tokens |
| KwCOMPILED_EPIC | Agda.Syntax.Parser.Tokens |
| KwCOMPILED_TYPE | Agda.Syntax.Parser.Tokens |
| KwConstructor | Agda.Syntax.Parser.Tokens |
| KwData | Agda.Syntax.Parser.Tokens |
| KwETA | Agda.Syntax.Parser.Tokens |
| KwField | Agda.Syntax.Parser.Tokens |
| KwForall | Agda.Syntax.Parser.Tokens |
| KwHiding | Agda.Syntax.Parser.Tokens |
| KwIMPORT | Agda.Syntax.Parser.Tokens |
| KwImport | Agda.Syntax.Parser.Tokens |
| KwIMPOSSIBLE | Agda.Syntax.Parser.Tokens |
| KwIn | Agda.Syntax.Parser.Tokens |
| KwInfix | Agda.Syntax.Parser.Tokens |
| KwInfixL | Agda.Syntax.Parser.Tokens |
| KwInfixR | Agda.Syntax.Parser.Tokens |
| KwLet | Agda.Syntax.Parser.Tokens |
| KwLINE | Agda.Syntax.Parser.Tokens |
| KwModule | Agda.Syntax.Parser.Tokens |
| KwMutual | Agda.Syntax.Parser.Tokens |
| KwOpen | Agda.Syntax.Parser.Tokens |
| KwOPTIONS | Agda.Syntax.Parser.Tokens |
| KwPostulate | Agda.Syntax.Parser.Tokens |
| KwPrimitive | Agda.Syntax.Parser.Tokens |
| KwPrivate | Agda.Syntax.Parser.Tokens |
| KwProp | Agda.Syntax.Parser.Tokens |
| KwPublic | Agda.Syntax.Parser.Tokens |
| KwQuote | Agda.Syntax.Parser.Tokens |
| KwQuoteGoal | Agda.Syntax.Parser.Tokens |
| KwRecord | Agda.Syntax.Parser.Tokens |
| KwRenaming | Agda.Syntax.Parser.Tokens |
| KwRewrite | Agda.Syntax.Parser.Tokens |
| KwSet | Agda.Syntax.Parser.Tokens |
| KwSyntax | Agda.Syntax.Parser.Tokens |
| KwTo | Agda.Syntax.Parser.Tokens |
| KwUsing | Agda.Syntax.Parser.Tokens |
| KwWhere | Agda.Syntax.Parser.Tokens |
| KwWith | Agda.Syntax.Parser.Tokens |