Index - K
| keepGiven | Idris.Core.ProofState, Idris.Core.Elaborate |
| Keyword | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| keyword | Idris.Parser.Helpers |
| KeywordColour | Idris.Colours |
| keywordColour | Idris.Colours |
| known_interfaces | Idris.ASTUtils |
| known_terms | Idris.ASTUtils |