search

idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Use Iosevka font #35

Closed yurrriq closed 6 years ago

yurrriq commented 7 years ago

For example, <-> looks bad in Monoid and it doesn't render ∀, et al.

clayrat commented 7 years ago

I think https://be5invis.github.io/Iosevka/ has <->