idris-0.9.19.1: test/effects005/run

#!/usr/bin/env bash
idris $@ defaultLogger.idr -o default -p effects
./default
idris $@ categoryLogger.idr -o category -p effects
./category
rm -f default category *.ibc