Niklas Larsson
10b7fe8bca
Mention Idris 2 in README
2020-02-01 01:18:52 +01:00
Milan Kral
35757f928a
use HTTPS URL instead of HTTP URL when possible
2019-12-19 14:26:41 +01:00
Niklas Larsson
6d2f6b12c7
Fix hackage widget
2017-07-02 16:26:32 +02:00
Kim Stebel
588e2764d4
Update README.md
2017-04-22 17:38:36 +01:00
Kim Stebel
43a155d0db
remove links to unmaintained backends
2017-04-22 11:44:12 +01:00
Ahmad Salim Al-Sibahi
caefd9add6
Add IRC badge for #idris channel ( #3433 )
...
It uses IRCClouds abilities to add a badge that links directly to our IRC channel.
2016-09-19 00:10:23 +02:00
Jan de Muijnck-Hughes
23614ff1da
Add badges for Stackage LTS and Nightly.
2016-08-11 16:32:20 +01:00
Niklas Larsson
c0adf0f825
Specify branch in appveyor badge
2016-08-01 21:51:01 +02:00
Niklas Larsson
ea85f32cb2
Rearrange badges
2016-08-01 19:14:57 +02:00
Niklas Larsson
15fa6a88e4
Add Appveyor badge
2016-08-01 19:03:56 +02:00
Jan de Muijnck-Hughes
8e4bfd9d1d
Updates to installation docs for devs.
...
+ Migrated installation instructions from the README to a separate
file, and included documentation for using stack.
2015-12-10 17:20:41 +00:00
David Raymond Christiansen
1dfc53c2a7
Add ReadTheDocs badge to README
2015-03-20 11:31:10 +01:00
Jon Atack
aef8dc124c
Improve the README: Contributing link, spelling, wrap lines
...
[skip ci]
2015-01-16 01:22:33 +01:00
Norbert Melzer
09038deebd
Little text about CI flag
2015-01-04 18:20:40 +01:00
Jan de Muijnck-Hughes
f6459a26a2
Updates to README.md
...
+ Added Headers.
+ Add more comprehensive information over installing idris from hackage and from source.
+ Add links for more information.
+ Reformated existing sections.
2014-12-18 15:46:50 +00:00
Jon Atack
a85d407a6d
Fix a few typos in the README
...
[skip ci]
2014-11-30 13:21:12 +01:00
Edwin Brady
df4cd71ad6
Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readme
...
Conflicts:
README.md
2014-10-25 23:07:53 +01:00
Jan de Muijnck-Hughes
e73acf27d5
Added file extension to README file for better rendering.
2014-09-30 14:40:03 +01:00