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
Is this enough for agda or does it require a lot of other symbols too?
A lot, I am afraid. Agda uses almost every math symbols. To give you an idea of the scale, I ran the command rg -oNI "[^\x00-\x7F]" | sort | uniq -c | sort -nr on Agda's standard library and here is the result. The Mononoki font (https://madmalik.github.io/mononoki/) includes the most frequently used symbols.
While Agda uses such a wide variety of symbols, ∘ is one that's also used in other languages or texts and cannot be easily replaced with other symbols. For example, ⤚ can be replaced by >-, but ∘ is not as easily replaceable.
(I'm a newbie in agda so what I say may be inaccurate or incorrect; Thanks a lot for creating this font, I've been using it for years)
which is used to represent function composition in agda.
The text was updated successfully, but these errors were encountered: