Various mathematical objects defined as instances of the algebraic classes in the yap prelude.
See the Hackage page for documentation.
Various mathematical objects defined as instances of the algebraic classes in the yap prelude.
See the Hackage page for documentation.