ここ読んでいる人で知らない人はいないと思いますが、 型レベルプログラミングの会 というものが開催される予定で、 既に満員で、場所も決まっていて、すごい感じです。 いろいろとすごい人とか一度会ってみたかった人とかPPLでお世話になった人とかがいらっ…