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
說
eclipse juno (4.2)的效能問題似乎被炮很慘，只能先逃回indigo了 
PkmX
分享
翻了google drive的api把它刻出來了：Google Drive Markdown Viewer
PkmX
說
google drive上面沒有markdown viewer 
PkmX
說
NP作業 
PkmX
說
今天來考試的人也穿得太正式._.
PkmX
分享
bsdconv-git bug5-git 建議搭配tmux服用