2014-11-14から1日間の記事一覧
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だった。