プログラミング好きの備忘録

関数型言語とか、証明とか

2012-09-08から1日間の記事一覧

すごいH写経:7章前半

今日の独習を始める前に、6章のモジュールの部分が終わっていました。記録はしてませんでしたが。7章を進めて130ページ(曜日の列挙型)まで終わりました。 睡眠不足で頭は回らずモチベは上がらず、あまり進みませんでした。反省