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