Add Effects library for Idris

[ice1000]

• Name: Effects

• Language Name: Idris

• Website: http://docs.idris-lang.org/en/latest/effects/introduction.html

• Why is this useful?

  • For testing with random numbers

• Example Code:

  • import Effects

[ice1000]

What do you mean by status/ready? Can I have the library now?

[kazk]

It means ready to be deployed (you should see the description if you hover over it or if you go to labels page). I'll close the issue when it's deployed, same as forbidding the hole.

I'm out of office today and didn't want to release it because it has some changes unrelated to this that might affect other services.

[ice1000]

Thanks!

[kazk]

Deployed