Against Curry-Howard Mysticism

2 points | by pcfwik 10 hours ago