UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Add link to benchmarks in GitHub readme #1063

Closed fredrik-bakke closed 8 months ago

VojtechStep commented 8 months ago

I think I'd rather advertise a public link once the website is hosted somewhere else than on my personal Netlify account, but migrating it isn't very high on my list of priorities.

fredrik-bakke commented 8 months ago

It is too bad if we end up never sharing our benchmarking data simply because it is hosted in the wrong place. Therefore I suggest we share the link to the current hosting location until it is changed.

VojtechStep commented 8 months ago

I don't have a strong opinion here, but a part of why migrating isn't a high priority for me is that I don't feel the need to show this data publicly. But if you do, then I guess feel free to merge this.