on bfa39bf help sign in
Idris-dev/effects/effects.ipkg
8 lines 193 B history raw
1package effects
3opts = "-i ../lib"
4modules = Effects,
5 Effect.Exception, Effect.File, Effect.State,
6 Effect.Random, Effect.StdIO, Effect.Select,
7 Effect.Memory