agda/examples/lib/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.Permutation
import Data.PigeonHole
import Data.Rational
import Data.Real.Base
import Data.Real.CReal
import Data.Real.Complete
import Data.Real.Gauge
import Data.Show
import Data.String
import Data.Tuple
import Data.Vec
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.Applicative
import Logic.Structure.Monoid
import Prelude