Against Curry-Howard Mysticism(liamoc.net)
2 pointsby pcfwik6 hours ago1 comment