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