トップ «前の日記(2006-02-22) 最新 次の日記(2006-02-24)» 月表示 編集

日々の流転


2006-02-23 [長年日記]

λ. Toward Agda-2; Agda at CVS

を読んだ。

Tags: agda