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.
aprilFools.css
PkmX
說
筆電風扇好像掛了，應該不是被bumblebee弄壞的吧 
PkmX
好奇
台灣第一個L8出現了，可是顏色不對啊！
PkmX
覺得
ptt的PLT板真是臥虎藏龍啊 
PkmX
說
晚上補個眠被一堆莫名其妙的鬼島憤青吵醒十分不爽 
PkmX
好奇
PkmX
好奇
www.coinheist.com/rubik/... Regular Expression Crossword
PkmX
說