Eff Effects EDSL for Idris To build: idris --build effects.ipkg To install: idris --install effects.ipkg To compile a program with effects, use: idris -p effects