We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fdab147 commit be015e1Copy full SHA for be015e1
README.md
@@ -88,7 +88,7 @@ in various programming languages.
88
89
* **Idris Effects**: library for algebraic effects and handlers in Idris - inspired by Eff language
90
by Edwin Brady
91
- ([www](https://www.idris-lang.org/docs/current/effects_doc/))
+ ([www](http://docs.idris-lang.org/en/latest/effects/))
92
([GitHub](https://github.com/idris-lang/Idris-dev))
93
94
* **Koka**: a function-oriented language with effect inference
0 commit comments