((∑[T𝒰]∏A∈T]A≃1 - p/o1yoh5 - 讀噗

((∑[T𝒰]∏A∈T]A≃1

@suhorng

Mon, Oct 19, 2020 5:40 PM

omg amazing

Ranjit "enough!" Jhala on Twitter

refinement types for everyone!

載入新的回覆

© Jeremy Lam "JLChnToZ", part of Explosive Theorem Lab. projects. 免責聲明
This site uses Twemoji, © 2020 Twitter, Inc and other contributors.