2 ms·Cellular Automata with Comonads, Representable Functors, and Dependent Types3 points by solomonb 6y ago