purescript / purescript-free
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
See what the GitHub community is most excited about today.
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
Types and kinds for basic type-level programming