idris-hackers/eff-tutorial

An old tutorial for using `Effects` in Idris.

语言：TeX · GitHub 星标：23 · Fork：5

在 GitHub 上查看原仓库