constructive-algebra-0.1: A library of constructive algebra.
Algebra.Z
Synopsis
type Z = IntegerSource
Type synonym for integers.
module Algebra.Structures.IntegralDomain