git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/reg051
3 files
../ expectedStore parameters in function types reg051.idrStore parameters in function types runStore parameters in function types