git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/unique001
8 files
../ expectedChange wording in unification errors runDon't let tests depend on colouring. unique001.idrStore kind in Pi binders unique001a.idrFix output of unique001a unique001b.idrAdd Borrowed types unique001c.idrFix bug with Type*/AnyType in data decls unique001d.idrFix borrowed type check unique001e.idrAdd missing test