https://twitter.com/kinaba のログ (twilog の方が便利です。)
| つかれたので今日は一日gdgdすることにした | |
| Dの翻訳おわた | |
| @finalfusion I Love ～ というとマジすぎて引くし照れくさいのでちょっと控えめに表現してみたという感覚、と聞いたことが＞ I Heart ～ | |
| "On Decidability of Nominal Subtyping with Variance" は Pierce の方の名前しか見てなかったのだけど http://twitter.com/NyaRuRu/status/979374116 も一人がそういう方なのか。なる |