typed-hole/adjoint-stacks

While studying category theory and reaching the chapter on adjunctions, I got the idea to try and implement them in haskell and use them to create the state monad with an accompanying stack data structure example!

HaskellBSD-3-Clause