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