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

Follow

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

· · Web · 1 · 0 · 2
Sign in to participate in the conversation
types.pl

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