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