git.iko.soy/Idris-dev
on 9dfda4a help sign in
Idris-dev/test/reg006/run_java
3 lines 87 B history raw
1#!/bin/bash
2idris $@ reg006.idr -o reg006.java --target Java
3rm -f reg006.java *.class