git.iko.soy/Idris-dev
on f8a6746 help sign in
Idris-dev/test/reg029
4 files
../ Reg029Wrapper.javafix missing tests expectedAdd regression test for possibly-null foreign strings in the executor reg029.idr* Make regression test029 work by adding a wrapper loading environment variables to properties * Include sugar004 runfix missing tests