PZ Read
@pzread
Thu, Mar 9, 2017 6:32 PM
dependent type in rust, more and more RFCs
The pi type trilogy · Issue #1930 · rust-lang/rfcs
((∑[T𝒰]∏A∈T]A≃1
@suhorng
Fri, Mar 10, 2017 1:28 AM
:-o
西呱呱
@watermelonc
Fri, Mar 10, 2017 5:00 AM
:-o
PZ Read
@pzread
Fri, Mar 10, 2017 9:06 AM
:-o
載入新的回覆