git.iko.soy/Idris-dev
on b3b7bb7 help sign in
Idris-dev/test/unique001
8 files
../ expectedChange wording in unification errors runmake the tests respect the IDRIS env variable unique001.idrStore kind in Pi binders unique001a.idrFix output of unique001a unique001b.idrAdd Borrowed types unique001c.idrChange "class/instance" keywords unique001d.idrFix borrowed type check unique001e.idrAdd missing test