claustrophobia

一般λがなんか書くとか

2014-03-09から1日間の記事一覧

OchaCamlに触ってみた。

PPL2014( http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ )に参加して来ました。 去年に引続きの参加(但し去年は発表なしで見に行っただけ)だったのですが、去年も今年も(主にお茶女勢による)限定継続の発表を聞いては「限定継続ってなんだっけ」と思っ…