10 ms·
Agda's use of Unicode makes it far less readable to me. Readability is a subjective thing, of course.
by Peaker 14y ago
Agda's use of Unicode makes it far less readable to me. Readability is a subjective thing, of course.
- tel 14y agoFair. It's definitely in the eye of the beholder.