文件名称：eff-tutorial:在Idris中使用`Effects`的旧教程
文件大小：94KB
文件格式：ZIP
更新时间：2024-05-30 07:42:46
TeX
关于Idris效果的旧教程。 不推荐使用本教程，而推荐使用在主要idris存储库中托管的，基于Sphinx的，readthedocs集成的解决方案。 您可以在线找到此存储库： http://www.github.com/idris-lang/Idris-dev 该存储库留在此处用于存档。
【文件预览】：
eff-tutorial-master
----library.ltx(8KB)
----conf.ltx(1KB)
----content()
--------hangman.tex(12KB)
--------simpleeff.tex(20KB)
--------state.tex(17KB)
--------conclusions.tex(1KB)
--------treelabel.pdf(11KB)
--------intro.tex(4KB)
--------treelabel.graphml(16KB)
--------depeff.tex(12KB)
--------impleff.tex(12KB)
--------summary.tex(3KB)
----body.tex(1KB)
----examples()
--------vadd.idr(1KB)
--------TreeTagCount.idr(906B)
--------Exception.idr(498B)
--------ConsoleIO.idr(315B)
--------Select.idr(473B)
--------TreeTag.idr(1KB)
--------ReadInt.idr(1KB)
--------hworld.idr(124B)
--------TreeTag-noeff.idr(635B)
--------Random.idr(1KB)
----CONTRIBUTING.md(3KB)
----README.md(315B)
----Makefile(498B)
----eff-tutorial.print.tex(112B)
----eff-tutorial.screen.tex(213B)
----.gitignore(223B)
----literature.bib(115KB)
----idrislang.sty(9KB)
----fpmacros.sty(32KB)