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