src/Logic/Theory.hs

   1 {-# LANGUAGE Safe #-}
   2
   3 module Logic.Theory (
   4   module Logic.Theory.Arithmetic,
   5   module Logic.Theory.Bool,
   6   module Logic.Theory.Eq,
   7   module Logic.Theory.List,
   8   module Logic.Theory.Ord,
   9   module Logic.Theory.Semigroup,
  10 ) where
  11
  12 import Logic.Theory.Arithmetic
  13 import Logic.Theory.Bool
  14 import Logic.Theory.Eq
  15 import Logic.Theory.List
  16 import Logic.Theory.Ord
  17 import Logic.Theory.Semigroup