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