Added a travis badge because it's good to have badges... - Githubissues

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

https://idris-lang.org/

Other

902 stars 58 forks source link

Added a travis badge because it's good to have badges... #273

Closed jfdm closed 4 years ago

keram commented 4 years ago

badges

https://www.youtube.com/watch?v=VqomZQMZQCQ 😆

edwinb commented 4 years ago

Yes, why not have a badge? :)