idris-0.11.1: test/views003/run

#!/usr/bin/env bash
${IDRIS:-idris} $@ views003.idr -o views003 --warnreach
./views003 10000
rm -f views003 *.ibc