eff-tutorial
eff-tutorial copied to clipboard
idris-hackers
An old tutorial for using `Effects` in Idris.
trafficstars
An OLD Tutorial for Effects in Idris.
This tutorial has become deprecated in favour of a Sphinx based, readthedocs integrated, solution hosted on the main idris repository. You can find this repository online:
http://www.github.com/idris-lang/Idris-dev
This repository is left here for archival purposes.
Metadata
24
Stars
5
Forks
Watchers
Owner
idris-hackers
Metadata
An old tutorial for using `Effects` in Idris.