git.iko.soy/Idris-dev
on 33166ee help sign in
Idris-dev/test/unique001
8 files
../ expectedChange wording in unification errors runRemove redundant --consolewidth settings in tests unique001.idrStore kind in Pi binders unique001a.idrFix output of unique001a unique001b.idrAdd Borrowed types unique001c.idrRenamed `UniquePair` to `UPair`. unique001d.idrFix borrowed type check unique001e.idrAdd missing test