diff --git a/README.md b/README.md index b92b6bc8a..44e976176 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# ![Idris icon](./icons/idris-48x48.png) Idris 2 +# Idris 2 [![Documentation Status](https://readthedocs.org/projects/idris2/badge/?version=latest)](https://idris2.readthedocs.io/en/latest/?badge=latest) [![Build Status](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml/badge.svg?branch=main)](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml?query=branch%3Amain)