MinCamlのMakefileとか定数畳み込みとか、細かい修正が。こういうのはリリースすべきなのか、大きな変更まで待つべきなのか…？（とりあえずリリースしてしまいましたが）

来週月曜が研究科内の締め切りで忙しいです。どこも同じだと思いますが。（それとも僕が遅すぎ？ うちのボスは数週間前に書き終えたらしい…）