トップ «前の日記(2008-01-04) 最新 次の日記(2008-01-13)» 月表示 編集

日々の流転


2008-01-12 [長年日記]

λ. (ttweb) agdaを使ってみる

メモ。置換公理から分出公理を証明したり等。

Tags: agda