Against Curry-Howard Mysticism

• Posted 3 hours ago by pcfwik
• 2 points