idris-0.9.2: lib/prelude/tactics.idr

module prelude.tactics

data Tactic = Intro (List IdrisName)
            | Refine IdrisName