体調悪し

いまいっちょ集中出来ない。仕事そんなに忙しくないからよいものの。
喉が嗄れる。鼻がつまる。

今日のCoq

高階関数のところまで。javascriptや、schemeを齧ってると、すぐ出来る。
が型がある点がいままでとちょっと違う。
Foldで、f : X -> Y という関数を取ってX -> Yという型変換が出来ると何が便利なのかはいまいちピンとこない。