git.iko.soy/Idris-dev
on d82f489 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