最近の修正で、ロケールをなおす必要はなくなって、普通に cabal install agda -f -cpphs と同僚Tさんから聞いてやってみたのだが、失敗。以下ログ。またあとでやってみる。cabalが古いかも。 C:\Windows\system32>cabal install agda -f -cpphs Resolving d…

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.WindowsNotes-2-4-2 きのう同僚Tさんから聞いて驚いたのだが、一度ロケールを英語にしないとインストールできないというcabalのバグ？らしい。すごいな。自分のバージョンはまだ2.3.2だった。

この2週間ぐらい、働いていた時代に自分が作っていたソフトウェアの定式化、みたいなことを考えていた。かなり新しいことを考えたと思ってたけれども、そのうちの一部分は（たぶん）David Spivakがすでにやっている仕事にかなり近い、と思った。 http://d.ha…

本日Agda-MLに流れてきた話によると、Aaron Stumpさんという型方*1がAgda本を執筆中で、出版社とも交渉中とのこと。現在のドラフト版が https://svn.divms.uiowa.edu/repos/clc/projects/agda/book/ にあります。興味がある方はご一読を。ドラフトを15年春ま…

全然違うことを勉強していたら何故かAlgebraとCoalgebraについて知りたくなり、前から積読になっている本Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series)作者: Wolfgang Wechler出版社/メーカー:…

そのAgdaのインストール問題とは別に、Windows7上のVMware playerで動かしているXubuntuが、たぶんWindows7自体をスリープして復帰するときとかにクラッシュする、という問題もあり、これも調べないといかん。うーん。こういうn時間問題（nは不明）は大変。…

Ubuntu（正確にはXubuntu14.02）にAgda2.4.2をインストールしようとして（cabal install agda）、なんかHaskellのあたりでうまくいかなくて困った。が、 http://stackoverflow.com/questions/25104367/ghc-incompatibility-installing-haskell-src-exts-via-…