eff-tutorial:在Idris中使用`Effects`的旧教程

关于Idris效果的旧教程。 不推荐使用本教程，而推荐使用在主要idris存储库中托管的，基于Sphinx的，readthedocs集成的解决方案。 您可以在线找到此存储库： http://www.github.com/idris-lang/Idris-dev 该存储库留在此处用于存档。