Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
Kazuhiro Inaba
RT @t33f: 人類がいなくなった後の世界で coqtop が誰に向けるわけでもなくずっと 1 subgoal ============================ True って表示しつづけてるとこをなぜか昼に想像して,なんだかおかしかった