git.iko.soy/Idris-dev
on 84fa0bb help sign in
history oftest/tutorial006/expected
all commits
5d4d793adjust test tutorial006 with --consolewidth for use with -f cursesAndreas Reuleaux 01c4f2aA bit more unification error provenanceEdwin Brady 179c704Record provenance of types in 'fill' errorsEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady a1fb7a3Inline with blocksEdwin Brady 921b766Fix name propagation in error messagesEdwin Brady 7cea995Add tests for tutorial examplesEdwin Brady