git.iko.soy/Idris-dev
on master help sign in
Add IRC badge for #idris channel (#3433)
caefd9aAhmad Salim Al-Sibahi
README.md+1
compare with master
unifiedsplit
@@ -6,6 +6,7 @@
6[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
6[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
7[![Stackage LTS](http://stackage.org/package/idris/badge/lts)](http://stackage.org/lts/package/idris)
7[![Stackage LTS](http://stackage.org/package/idris/badge/lts)](http://stackage.org/lts/package/idris)
8[![Stackage Nightly](http://stackage.org/package/idris/badge/nightly)](http://stackage.org/nightly/package/idris)
8[![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)
9
10
10Idris (http://idris-lang.org/) is a general-purpose functional programming
11Idris (http://idris-lang.org/) is a general-purpose functional programming
11language with dependent types.
12language with dependent types.