git.iko.soy/Idris-dev
on f0a67ff help sign in
history oftest/interactive010/expected
all commits
fdfa04cStore file with constraints + exportEdwin Brady 74926ffRenamed Prelude.Classes to Prelude.InterfacesJan de Muijnck-Hughes 220f400Fix error messages for interfacesEdwin Brady 6eaf933Disambiguation tweakEdwin Brady 0c5f1deMove / into Fractional interfaceEdwin Brady 8a17e9aChange library and expected test results for Float -> Double changeEcho Nolan 2c91accChanged to not affect normal expression parsingZack Grannan a8f7652Update testsZack Grannan 14cf196Added testsZack Grannan