agda is to unicode overuse as haskell is to infix operator overuse
neither of these are intended to be good things. both of these things are things that you reasonably should avoid, and the only people that will disagree with me are agda and haskell programmers
this is half a joke
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.