書くネタがCoqしかない

 書くネタがCoqしかない

upcamp 2012のLT大会にて

Ba655e3712aaabfbca289fe136f85fe4?s=128

Masaki Hara

August 11, 2012
Tweet