Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Algebra packages

Showing projects tagged as Mathematics and Algebra

  • Free Algebras

    7.3 3.0 Haskell
    Free Algebras in Haskell
  • Free Category

    6.7 4.3 Haskell
    Free categories, free arrows and free categories with monadic actions
  • Heyting Algebras

    5.6 0.0 Haskell
    Heyting Algebras in Haskell