今日やること

• G'Camlおさらい

• 準備

• G'Camlで型リスト

• G'Camlでコンパイル時数値計算

• G'Camlでなんかへんなことをする

• limitations

• 今日のソースコードはここにあります http://panathenaia.halfmoon.jp/alang/typelevel/