#!/bin/bash
idris $@ reg006.idr -o reg006.java --target Java
rm -f reg006.java *.class