Haskell風構文のDependently Typed Programming LanguageであるAgda2を少し学んでみました。 The Agda Wiki - Agda インストールとか ubuntu intrepidで使う場合、依存ライブラリのうち、zlibとQuickCheckだけは別途makeして入れる必要がありました。あとはd…