24 Jun
2014
24 Jun
'14
4:32 a.m.
https://aur.archlinux.org/packages/idris-neweffects-git/ It was a separate library for the Idris language, but has since been merged into the language distribution proper: https://github.com/idris-lang/Idris-dev/tree/master/libs/effects This version is obsolete. Thanks, -Leif