idris-0.9.15: Functional Programming Language with Dependent Types
IRTS.Simplified
simplifyDefs :: DDefs -> [(Name, DDecl)] -> TC [(Name, SDecl)]Source
data SDecl Source
Constructors
Instances
data SExp Source
data SAlt Source