# LANGUAGE RebindableSyntax #
# LANGUAGE TypeApplications #
# OPTIONS_GHC -fno - warn - unticked - promoted - constructors #

module Noether.Algebra.Multiple
  ( module Noether.Algebra.Multiple.Semiring
  , module Noether.Algebra.Multiple.Ring
  , module Noether.Algebra.Multiple.Strategies
  ) where

import           Noether.Lemmata.TypeFu

import           Noether.Algebra.Multiple.Ring
import           Noether.Algebra.Multiple.Semiring
import           Noether.Algebra.Multiple.Strategies

# LANGUAGE RebindableSyntax #
# LANGUAGE TypeApplications #
# OPTIONS_GHC -fno - warn - unticked - promoted - constructors #

module Noether.Algebra.Multiple
  ( module Noether.Algebra.Multiple.Semiring
  , module Noether.Algebra.Multiple.Ring
  , module Noether.Algebra.Multiple.Strategies
  ) where

import           Noether.Lemmata.TypeFu

import           Noether.Algebra.Multiple.Ring
import           Noether.Algebra.Multiple.Semiring
import           Noether.Algebra.Multiple.Strategies
