Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Mathematics packages

Showing projects tagged as Algebra and Mathematics

  • 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

    6.0 0.0 Haskell
    Heyting Algebras in Haskell