git.iko.soy/Idris-dev
on master help sign in
Add ReadTheDocs badge to README
commit1dfc53c2a75ba60c5d2a720a90256a7808505c67 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateFri 20 Mar 2015, 11:31 (12 years ago) parentb5052eb
1 file changed+1
compare with master
unifiedsplit
README.md+1
README.md+1
@@ -1,6 +1,7 @@
11# Idris
22
33[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
4+[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
45[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
56
67Idris (http://idris-lang.org/) is a general-purpose functional programming