Selected Tags

Click on a tag to remove it

Mathematics packages

Showing projects tagged as Algebra and Mathematics

  • Free Algebras

    5.8 7.9 Haskell
    Universal algebra approach to free algebras including higher kinded algebraic structures like functors, applicative functors or monads.
  • Heyting Algebras

    4.3 0.0 Haskell
    This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.