Index - K
| keepGiven | Idris.Core.ProofState, Idris.Core.Elaborate |
| keepTerminator | Idris.ParseHelpers, Idris.Parser |
| Keyword | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| KeywordColour | Idris.Colours |
| keywordColour | Idris.Colours |
| known_classes | Idris.ASTUtils |
| known_terms | Idris.ASTUtils |