git.iko.soy/Idris-dev
on be22ac6 help sign in
history oftest/unique001/expected
all commits
8cc2312Don't let tests depend on colouring.Niklas Larsson 7da6edaadjust test unique001 with --consolewidth for use with -f cursesAndreas Reuleaux f4aaf01Guard !! in forgetEnvEdwin Brady 4d1759ePair syntax for unique typesEdwin Brady d2f95b0Really fix output of unique001a...Edwin Brady 773ff9aFix output of unique001aEdwin Brady c55895dFix universe errors, update testsEdwin Brady bc2bcb6Add Borrowed typesEdwin Brady