git.iko.soy/Idris-dev
on master help sign in
Add Appveyor badge
commit15fa6a88e48ff9f6625d8061914e92bda3265ff5 authorNiklas Larsson <metaniklas@gmail.com> dateMon 1 Aug 2016, 19:03 (10 years ago) parent588e347
1 file changed+1
compare with master
unifiedsplit
README.md+1
README.md+1
@@ -3,6 +3,7 @@
33[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
44[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
55[![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)
67
78Idris (http://idris-lang.org/) is a general-purpose functional programming
89language with dependent types.