module prelude.tactics

data Tactic = Intro (List IdrisName)
            | Refine IdrisName