QED | Idris.Core.ProofState, Idris.Core.Elaborate |
Qed | Idris.AbsSyntaxTree, Idris.AbsSyntax |
qed | Idris.Core.Elaborate |
qelem | Idris.Coverage |
qshow | Idris.Core.Elaborate |
quickEq | Idris.Coverage |
Quiet | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Quit | |
1 (Data Constructor) | Idris.Core.Elaborate |
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Quote | Idris.Core.Evaluate |
quote | Idris.Core.Evaluate |
quoteGoal | Idris.ParseExpr, Idris.Parser |