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

· · Web · 0 · 0 · 2
Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.