((∑[T𝒰]∏A∈T]A≃1
@suhorng
Tue, Jan 19, 2021 12:07 AM
Tue, Jan 19, 2021 12:08 AM
沒想到 JFP 的文章會天書到這種程度
可以寫英文嗎
Jon Sterling on Twitter
Higher-Order Functions and Brouwer’s Thesis
((∑[T𝒰]∏A∈T]A≃1
@suhorng
Tue, Jan 19, 2021 12:10 AM
這是所謂
連 sheaf, forcing 都沒聽過怎麼學 functional programming 嗎
((∑[T𝒰]∏A∈T]A≃1
@suhorng
Tue, Jan 19, 2021 12:11 AM
Escard ́o 不就是那個人嗎!
XOO
@xcycl
Tue, Jan 19, 2021 12:35 AM
Sheaf 沒那麼難啦
載入新的回覆
這是所謂 連 sheaf, forcing 都沒聽過怎麼學 functional programming 嗎