ラムダ計算が理解できなくたっていいじゃない！と開き直ってportinstallした。でも、今日は入れるだけにしておく。S.A.C. 2ndを見るので。 追記：と思ったらがーん。今日は寝ておけということか。 ** Port marked as IGNORE: www/ocsigen: