git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2022 from david-christiansen/docbadge

Add ReadTheDocs badge to README

commit159a0c48a542c58da4654a068b7eb489c0f4171b authorDavid Christiansen <david@davidchristiansen.dk> dateFri 20 Mar 2015, 12:51 (12 years ago) parent134a2271dfc53c
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