トップ «前の日記(2005-09-11) 最新 次の日記(2005-09-14)» 月表示 編集

日々の流転


2005-09-13 [長年日記]

λ. Windows用バイナリ

を作ったので適当に放置しておく。現在のCVSのソースからビルドしたものは振る舞いが変だったので、5月の時点のソースからビルドした。これらのファイルとemacsさえあれば最低限のことは出来る。あとライブラリは適当にCVSからとってくるべし。

Tags: agda