Safe Haskell | None |
---|
Documentation
assumptionNames :: ElabState [PDecl] -> [String]Source
dumpState :: IState -> ProofState -> Idris ()Source
Safe Haskell | None |
---|
assumptionNames :: ElabState [PDecl] -> [String]Source
dumpState :: IState -> ProofState -> Idris ()Source