Tried transitioning to the new build system, but having trouble with
effects
Might help if I added the files
Fixed problem with EFFECTS import
Finished updating to new build system
Merge pull request #3 from idris-hackers/idrisweb-ipkg

Merged ipkg branch