idris-0.9.11.1: Functional Programming Language with Dependent Types
Idris.Inliner
inlineDef :: IState -> [([Name], Term, Term)] -> [([Name], Term, Term)]Source
inlineTerm :: IState -> Term -> TermSource