@@ -1,6 +1,7 @@
11# Idris
22
33[](https://travis-ci.org/idris-lang/Idris-dev)
4+[](https://hackage.haskell.org/package/idris)
45
56Idris (http://idris-lang.org/) is a general-purpose functional programming
67language with dependent types.