Fix Circle CI Badge URL

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

http://latte-central.github.io/LaTTe/

MIT License

256 stars 13 forks source link

Closed zampino closed 5 years ago

zampino commented 5 years ago

This will have Circle Ci badge point at the status of latte-central (instead of @zampino's fork) builds.