Amélia Liao ICFP@plt_amy·May 27, 2021am i the only one who ends proofs with "which is what we wanted" because it sounds friendlier than qed1812122
Brendan Zabarauskas@brendanzabReplying to @Rexco1111 and @PFextus"welp - that was an ordeal…"1:15 AM · May 28, 2021·Twitter Web App2 Likes