Coalgebras and Automata (via janus) — discussion

#haskell #math