How many Agda programmers

does it take to change a lightbulb?

"Are you kidding me? It takes two PhD's six months just to prove the socket and the bulb are wound in the same direction."

Really? The right-hand-rule in physics should tell you that in seconds. This Amateur Game Development Association must be full of academic circlejerks who flunked out of toilet scrubbing class.