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 |
idris-0.9.11: Functional Programming Language with Dependent Types