いまいっちょ集中出来ない。仕事そんなに忙しくないからよいものの。 喉が嗄れる。鼻がつまる。 今日のCoq 高階関数のところまで。javascriptや、schemeを齧ってると、すぐ出来る。 が型がある点がいままでとちょっと違う。 Foldで、f : X -> Y という関数を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。