idris-0.9.7: effects/effects.ipkg

package effects

opts    = "-i ../lib"
modules = Effects, 
          Effect.Exception, Effect.File, Effect.State,
          Effect.Random, Effect.StdIO, Effect.Select