PkmX
@PkmX
male Taipei, Taiwan
National Chiao Tung University
Department of Computer Science
Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
Department of Computer Science
Google+
Types are propositions, and programs are proofs. If your program satisfies the type, it is a proof of the proposition.
PkmX
好奇
google是要爆炸了嗎？大家塊陶啊 
PkmX
說
https://i.imgur.com/yXihoVt.png 清大台機館出現portal了，可是為什麼地點在女宿裡面啊 ▆▅▄▃ 崩╰(〒皿〒)╯潰 ▃▄▅▆
PkmX
覺得
太扯了，ingress剛釋出一批新的portals，害現在外頭一堆人不睡覺在亂晃 
PkmX
說
多了一組ingress邀請碼 
PkmX
說
終於領到22k惹 
（咦？
（咦？
PkmX
說
https://i.imgur.com/TXPAP.jpg 我想做這張圖很久了...
PkmX
說
kerker.scala 
Scala