Merge pull request #273 from jfdm/badges

Added a travis badge because it's good to have badges...
This commit is contained in:
Edwin Brady 2020-04-21 10:39:09 +01:00 committed by GitHub
commit 4b65d8d6fc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,8 @@
Idris 2
=======
[![Build Status](https://travis-ci.org/edwinb/Idris2.svg?branch=master)](https://travis-ci.org/edwinb/Idris2)
This is a pre-alpha implementation of Idris 2, the successor to Idris.
*** Please note: To build, this requires Idris version 1.3.2 ***