git.iko.soy/Idris-dev
on 8a3d348 help sign in
Idris-dev/test/unique001
8 files
../ expectedDon't let tests depend on colouring. runDon't let tests depend on colouring. 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