The Comonad.Readertypes, (co)monads, substructural logic

Updated Data.Type.*

Original post and discussion · Download Markdown