トップ «前の日記(2006-12-27) 最新 次の日記(2006-12-29)» 月表示 編集

日々の流転


2006-12-28 [長年日記]

λ. agda-mode.el と cl-push

久しぶりにアップデートしたら何やらcl-pushが無いとかいうエラーが出たので、一行パッチ。

agda-mode.el.diff

Tags: agda