comonads topic

An axiom-free formalization of category theory in Coq for personal study and practical work

jwiegley

a collection of cellular automata written in Haskell with Diagrams

bollu

learn-by-doing course/tutorial for functional programming on scala

dehun

Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces

arthurxavierx

freer monads and cofreer comonads.

robrix