Test.agda

module Test where

import Data.Bits
import Data.Bool
import Data.Char
import Data.Fin
import Data.Integer
import Data.Interval
import Data.List
import Data.Map
import Data.Maybe
import Data.Nat
import Data.Nat.Properties
import Data.Rational
import Data.Real.Base
import Data.Real.Complete
import Data.Real.CReal
import Data.Real.Gauge
import Data.Show
import Data.String
import Data.Tuple
import Logic.Base
import Logic.ChainReasoning
import Logic.Congruence
import Logic.Equivalence
import Logic.Identity
import Logic.Leibniz
import Logic.Operations
import Logic.Relations
import Logic.Structure.Monoid
import Prelude