Against Curry-Howard Mysticism

(liamoc.net)

2 points | by pcfwik 10 hours ago ago

1 comments