Against Curry-Howard Mysticism (via LesleyLai) — discussion

#plt