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