/agda-fonts

Fonts that work well with Agda.

Primary LanguagePython

Stargazers

No one’s star this repository yet.