idris-0.9.11.1: Functional Programming Language with Dependent Types

Index - Q

QEDIdris.Core.ProofState, Idris.Core.Elaborate
QedIdris.AbsSyntaxTree, Idris.AbsSyntax
qedIdris.Core.Elaborate
qelemIdris.Coverage
qshowIdris.Core.Elaborate
quickEqIdris.Coverage
QuietIdris.AbsSyntaxTree, Idris.AbsSyntax
Quit 
1 (Data Constructor)Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
QuoteIdris.Core.Evaluate
quoteIdris.Core.Evaluate
quoteGoalIdris.ParseExpr, Idris.Parser