git.iko.soy/Idris-dev
on df5bf81 help sign in
Idris-dev/test/test017/run_java
4 lines 132 B history raw
1#!/bin/bash
2idris $@ test017a.idr -o test017a.java --target Java
3idris $@ test017b.idr -o test017b.java --target Java
4rm -f *.class