automata

一份介绍性的 literate Haskell 文档，探讨余代数和自动机之间的关系，展示如何利用范畴论中的 fold 和 unfold 操作来建模状态机。