Flint2-0.1.0.0: src/Data/Number/Flint/Groups/Perm.hs

{-|
module      :  Data.Number.Flint.Groups.Perm
copyright   :  (c) 2022 Hartmut Monien
license     :  GNU GPL, version 2 or above (see LICENSE)
maintainer  :  hmonien@uni-bonn.de
-}

module Data.Number.Flint.Groups.Perm (
  module Data.Number.Flint.Groups.Perm.FFI,
) where

import Data.Number.Flint.Groups.Perm.FFI