git.iko.soy/Idris-dev
on 90b7d07 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. runDon't look for the parameters of bound variables.