A library for functional programming in Rust
- functional-programming
- rust
- monad
- functor
Repository Index
86,576 visible repositories in the index
1–3 of 3 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
React-Router implemented in PureScript as Cofree Comonad for the Array functor.
- purescript
- react-router
- cofree-comonad