git.iko.soy/Idris-dev
on eb241ed help sign in
Idris-dev/test/reg047
4 files
../ expectedNew regression test reg047.idrNew regression test reg047a.idrNew regression test runNew regression test