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