https://twitter.com/kinaba のログ (twilog の方が便利です。)
| おきたー。@ikegami__ さんの発表が面白そうなことになっている | |
| @Gedluv おはようございますー | |
| List<int n> だけじゃなくて List<int n, Axiom> Axiom というか Environment まで持ち回る形にすれば長さ保証付き quicksort を C++ や D の型レベル計算でチェックできる気がするなーということを思いついたがめんどい | |
| 今晩SRMあるのか。久しぶりだ | |
| @soutaro 了解でし | |
| @shelarcy @bonotake 把握 | |
| 【型レベルプログラミングの会：ustream】 http://www.ustream.tv/channel/typelevel | |
| 二次会おわた |