{-# OPTIONS --with-K #-}
module Prelude.Tactics where

open import Prelude.Tactics.Intro public
open import Prelude.Tactics.Try public
open import Prelude.Tactics.Eta public
open import Prelude.Tactics.Rewrite public; open import Prelude.Tactics.Rewrite.Test
open import Prelude.Tactics.Extra public
open import Prelude.Tactics.Existentials public
open import Prelude.Tactics.Mu public
open import Prelude.Tactics.Collect public
open import Prelude.Tactics.BNF public
open import Prelude.Tactics.PostulateIt public

-- ** [WIP]
open import Prelude.Tactics.TermReasoning
open import Prelude.Tactics.AltIso
open import Prelude.Tactics.Auto