git.iko.soy/Idris-dev
on f0a67ff help sign in
history oftest/unique001/expected
all commits
61870cbChange wording in unification errorsEdwin Brady 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