git.iko.soy/Idris-dev
on master help sign in
Rearrange badges
ea85f32Niklas Larsson
README.md+2−1
compare with master
unifiedsplit
@@ -1,9 +1,10 @@
1# Idris
1# Idris
2
2
3[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
3[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
4+[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
4[![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)
5[![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)
6−[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
7+
7
8
8Idris (http://idris-lang.org/) is a general-purpose functional programming
9Idris (http://idris-lang.org/) is a general-purpose functional programming
9language with dependent types.
10language with dependent types.