以前、2.4.2.2のインストールでだいぶ手こずった話を書いて、Agdaをやってみようという方の気をそいだ感があるのだが、このたびリリースされた2.4.2.4へは素直にバージョンアップできた。cabalを叩くだけで。
ちなみに、次のリリースは2.4.4で、ライブラリの管理方法とかいろいろ変化があるらしい。変化することもうれしい人にはうれしいのだが、もうちょっと万人が使えるようなstableなリリースを出したほうがいい、という面もあるように思っている。そのためにはAgdaからforkせざるを得ないのか、なんとか追従しながらやっていけるのか、などなどを研究のかたわらに妄想している。
