しばらく休んでましたが、実は水面下ではてなダイアリーからはてなブログに移転実験をしていました。このたび実験が終わって本移行したので、お知らせします。 http://blog.kino3.jp/ 結局、事務所やら研究所やら分離していくと、新しいのができるたびにXX所…

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