git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3359 from jfdm/badges-make-us-cool
013d11cJan de Muijnck-Hughes
README.md+2−1
compare with master
unifiedsplit
@@ -4,7 +4,8 @@
4[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
4[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
5[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
5[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
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−
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
9
9Idris (http://idris-lang.org/) is a general-purpose functional programming
10Idris (http://idris-lang.org/) is a general-purpose functional programming
10language with dependent types.
11language with dependent types.