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 | |
二次会おわた |