agda is to unicode overuse as haskell is to infix operator overuse

· · Web · 1 · 0 · 2

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

Sign in to participate in the conversation

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