行けません．ダブルブッキングですね．とりあえず宿題は，こっちに書いておきます． g:ocaml-nagoya:id:clairvy:20091109 ツッコミ待ちということにしよう．リンク http://groups.google.com/group/erlang-super-lite http://atnd.org/events/1927

Erlang Super Lite をサボって何をしてたかというと． Agda を勉強してきた． 初日は午後 13:00-17:00 でした． 12 人居る 駅から遠い．雨が降ってれば尚更 Haskell がわかれば，とりあえず最初の一日目は付いていける 資料に文句をつけてみた． Set と wher…