A Language with Dependent Types

Menu

Effects

From version 0.9.12 Idris includes a library for side-effect management, Effects.
To use it, you will need to add the -p effects flag when invoking Idris, which makes the effect package available. The following information is available about Effects