Skip to content

Commit

Permalink
Fancy title on repo page (UniMath#778)
Browse files Browse the repository at this point in the history
  • Loading branch information
@EgbertRijke @fredrik-bakke
EgbertRijke authored and fredrik-bakke committed Sep 21, 2023
1 parent ffb214c commit 33ad8cb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# The agda-unimath library
![agda-unimath-star-trek-extra-bold-bt](https://github.com/UniMath/agda-unimath/assets/1252282/cbd9b67e-581c-41c7-bc1e-34862127bad2)

[![CI](https://github.com/UniMath/agda-unimath/actions/workflows/ci.yaml/badge.svg)](https://github.com/UniMath/agda-unimath/actions/workflows/ci.yaml)
[![agda-unimath website](https://github.com/UniMath/agda-unimath/actions/workflows/pages.yaml/badge.svg)](https://github.com/UniMath/agda-unimath/actions/workflows/pages.yaml)
Expand Down

0 comments on commit 33ad8cb

Please sign in to comment.