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