git.iko.soy/Idris-dev
on 2d3bbcc help sign in
Idris-dev/test/reg062
4 files
../ expectedDon't look for the parameters of bound variables. reg062.idrDon't look for the parameters of bound variables. reg062.lidrDon't look for the parameters of bound variables. runmake the tests respect the IDRIS env variable