Cellular Automata with Comonads, Representable Functors, and Dependent Typesblog.cofree.coffee3 points·solomonb··0 commentsOpen articleSaveView on HN