ひさしぶりにagdaを触ってみた． コンパイラと標準ライブラリを最新版に更新して，あちこち眺めた． コンパイラが2Gのメモリを食い潰すくらいに標準ライブラリが充実してきているみたい． Equational Reasoningができるようになっているらしい．試しに見よう…