You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since we're a subdirectory of unimath.github.io, our favicon is set by unimath.github.io; there is currently no favicon for that, and it would set one for both agda-unimath and UniMath.
The third point about "preview content" (usually called "description") is tricky. Best we could do is set a <meta> description tag, but search engines rarely respect those. See Google's documentation:
Snippets are primarily created from the page content itself. However, Google sometimes uses the meta description HTML element if it might give users a more accurate description of the page than content taken directly from the page.
Emphasis mine. I doubt Google can properly judge what is an accurate description of a literate Agda file. My experience is that the search engines will just put whatever they want in there — I checked search results on some websites with proper description tags, and DuckDuckGo, Google and Bing all show different snippets from the page; none of them show the description tag text.
The library still appears in this less-than-favorable form in Google's search results:
There's a few issues to point out that could be improved.
The text was updated successfully, but these errors were encountered: