git.iko.soy/Idris-dev
on master help sign in
Badge for Hackage
7cb5c8cJan de Muijnck-Hughes
README+1
compare with master
unifiedsplit
@@ -1,6 +1,7 @@
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+[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
4
5
5Idris (http://idris-lang.org/) is a general-purpose functional programming
6Idris (http://idris-lang.org/) is a general-purpose functional programming
6language with dependent types.
7language with dependent types.