用 Idris 实现带有状态的系统：ST 教程¶

本教程叙述了如何用 Idris 的 Control.ST 库实现带有状态的系统。

注解

Idris 文档已按照 创作共用 CC0 许可协议 发布。因此根据法律规定， Idris 社区 已放弃对 Idris 文档的所有版权以及相关或邻接的权利。