git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/test/unique001
8 files
../ expectedadjust test unique001 with --consolewidth for use with -f curses runtypo in unique001 test corrected 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