idris-0.9.9: test/test012/run

#!/bin/bash
idris $@ test012a.idr -o test012a