コンパイラ読み会最終日

午前中はいつもの System FC / Haskell Core のスライドを見てました

debug build は、まだ、終わってなくて、でも、できたことはできた

ただ、

　　Singularity 作ったあと変更可能にする方法

がまだ良くわかってない。まぁ、なくてもいいんだけど。時間がかかるのがな。

あとは、Haskkell / Agda をちらちらと見てました。いじれるようになるのはまだ先かな。