idris-0.9.16: Functional Programming Language with Dependent Types

Index - Q

QEDIdris.Core.ProofState, Idris.Core.Elaborate
QedIdris.AbsSyntaxTree, Idris.AbsSyntax
qedIdris.Core.Elaborate
qshowIdris.Core.Elaborate
quasiquoteIdris.ParseExpr, Idris.Parser
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