idris-1.0: Functional Programming Language with Dependent Types
IRTS.BCImp
Description
data Reg #
Constructors
data BC #
toBC :: (Name, SDecl) -> (Name, [BC]) #
bc :: Reg -> SExp -> [BC] #