idris-0.10.1: 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