ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-10-26 09:54:23 +03:00
Code Issues Projects Releases Wiki Activity
10,023 Commits 4 Branches 42 Tags 40 MiB
master
Commit Graph

18 Commits

Author SHA1 Message Date
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