idris-0.9.15: test/basic011/run

#!/usr/bin/env bash
idris $@ basic011.idr -o basic011
./basic011
rm -f basic011 *.ibc