2016-05-30から1日間の記事一覧
このたびAgdaを最新の2.5.1にバージョンアップしたので、手順を記録しておく。 特に、新しくなったライブラリ管理の設定方法がややこしかった。手順は主に以下に従った。 http://hackage.haskell.org/package/Agda-2.5.1/changelog 何にせよ、ようやくまとも…
このたびAgdaを最新の2.5.1にバージョンアップしたので、手順を記録しておく。 特に、新しくなったライブラリ管理の設定方法がややこしかった。手順は主に以下に従った。 http://hackage.haskell.org/package/Agda-2.5.1/changelog 何にせよ、ようやくまとも…