ekmett/hask

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Haskell

163

533 commits

updated Mar 23, 2021

README

hask

Kind-indexed category theory for Haskell with a strong lens-like flavor.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett

Contributors

471 commits

45 commits

6 commits

4 commits

Similar repos

ekmett/profunctors

Haskell 98 Profunctors

72

ekmett/constraints

Tools for programming with ConstraintKinds in GHC

77

ekmett/contravariant

Haskell 98 contravariant functors

74

ekmett/bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

59

ekmett/structures

A playground for working on advanced data structures in Haskell

65

ekmett/succinct

playground for working with succinct data structures

96

ekmett/lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

2,107

ekmett/algebra

constructive abstract algebra

106

Languages

Haskell

100.0%

ekmett/hask

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Haskell

163

533 commits

updated Mar 23, 2021

README

hask

Kind-indexed category theory for Haskell with a strong lens-like flavor.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett

Similar repos

ekmett/profunctors

Haskell 98 Profunctors

72

ekmett/constraints

Tools for programming with ConstraintKinds in GHC

77

ekmett/contravariant

Haskell 98 contravariant functors

74

ekmett/bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

59

ekmett/structures

A playground for working on advanced data structures in Haskell

65

ekmett/succinct

playground for working with succinct data structures

96

ekmett/lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

2,107

ekmett/algebra

constructive abstract algebra

106

Contributors

471 commits

45 commits

6 commits

4 commits

Languages

Haskell

100.0%