git.iko.soy/Idris-dev
on cdff1db help sign in
Idris-dev/test/unique001
8 files
../ expectedReally fix output of unique001a... runAdd Borrowed types unique001.idrStore kind in Pi binders unique001a.idrFix output of unique001a unique001b.idrAdd Borrowed types unique001c.idrAdd Borrowed types unique001d.idrFix borrowed type check unique001e.idrAdd missing test