Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
42 lines (27 sloc) 1.28 KB

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

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

Note

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

关于 CC0 的更多信息参见:https://creativecommons.org/publicdomain/zero/1.0/deed.zh

.. toctree::
   :maxdepth: 1

   introduction
   state
   machines
   composing
   examples

You can’t perform that action at this time.