git.iko.soy/Idris-dev
on 5cd7632 help sign in
Idris-dev/java
1 folder, 2 files
../ src/Proper initialization semantics for raw memory executable_pom_template.xmlJava FFI: imports included and dependencies downloaded via maven pom_template.xmlProper executable and object file creation via maven + need for run_java tests removed