#!/bin/bash
idris $@ reg002.idr -o reg002.java --target Java
export CLASSPATH=../../java/idris.jar:$CLASSPATH
javac reg002.java
java reg002
rm -f reg002.java *.class