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

Cellular Automata

This is a short series in which I'm exploring ways some interesting structures in Haskell using cellular automata as motivating examples.