Cellular Automata with Comonads, Representable Functors, and Dependent Typesblog.cofree.coffee·3 pts·solomonb·0