沒想到 JFP 的文章會天書到這種程度 可以寫英文嗎
Jon Sterling on TwitterHigher-Order Functions and Brouwer’s Thesis