git.iko.soy/Idris-dev
on master help sign in
Add IRC badge for #idris channel (#3433)

It uses IRCClouds abilities to add a badge that links directly to our IRC channel.

commitcaefd9add609af7b242c8280bfaf9721b8eefb80 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateMon 19 Sep 2016, 00:10 (10 years ago) parent513bb17
1 file changed+1
compare with master
unifiedsplit
README.md+1
README.md+1
@@ -6,6 +6,7 @@
66[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
77[![Stackage LTS](http://stackage.org/package/idris/badge/lts)](http://stackage.org/lts/package/idris)
88[![Stackage Nightly](http://stackage.org/package/idris/badge/nightly)](http://stackage.org/nightly/package/idris)
9+[![IRC](https://img.shields.io/badge/IRC-%23idris-1e72ff.svg?style=flat)](https://www.irccloud.com/invite?channel=%23idris&hostname=irc.freenode.net&port=6697&ssl=1)
910
1011Idris (http://idris-lang.org/) is a general-purpose functional programming
1112language with dependent types.