((∑[T𝒰]∏A∈T]A≃1
@suhorng
Mon, Oct 19, 2020 5:40 PM
omg amazing
Ranjit "enough!" Jhala on Twitter
refinement types for everyone!
載入新的回覆