2014-12-01から1ヶ月間の記事一覧
2016-05-30追記 Agda2.5.1は割と素直にインストールできるようになりました。先週うまくいかないと書いていたAgda新バージョンのインストールの話。改めて同僚Tさん*1にエラーについて聞いてみたら、原因が判明し、そしてインストールもできたので以下展開。…
2016-05-30追記 Agda2.5.1は割と素直にインストールできるようになりました。先週うまくいかないと書いていたAgda新バージョンのインストールの話。改めて同僚Tさん*1にエラーについて聞いてみたら、原因が判明し、そしてインストールもできたので以下展開。…