idris-0.9.12: test/totality004/run

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