6d2f6b1Fix hackage widgetNiklas Larsson9 years ago 588e276Update README.mdKim Stebel10 years ago 43a155dremove links to unmaintained backendsKim Stebel10 years ago caefd9aAdd IRC badge for #idris channel (#3433)Ahmad Salim Al-Sibahi10 years ago 23614ffAdd badges for Stackage LTS and Nightly.Jan de Muijnck-Hughes10 years ago c0adf0fSpecify branch in appveyor badgeNiklas Larsson10 years ago ea85f32Rearrange badgesNiklas Larsson10 years ago 15fa6a8Add Appveyor badgeNiklas Larsson10 years ago 8e4bfd9Updates to installation docs for devs.Jan de Muijnck-Hughes11 years ago 1dfc53cAdd ReadTheDocs badge to READMEDavid Raymond Christiansen12 years ago aef8dc1Improve the README: Contributing link, spelling, wrap linesJon Atack12 years ago 09038deLittle text about CI flagNorbert Melzer12 years ago f6459a2Updates to README.mdJan de Muijnck-Hughes12 years ago a85d407Fix a few typos in the READMEJon Atack12 years ago df4cd71Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readmeEdwin Brady12 years ago e73acf2Added file extension to README file for better rendering.Jan de Muijnck-Hughes12 years ago