2014-11-28から1日間の記事一覧
最近の修正で、ロケールをなおす必要はなくなって、普通に cabal install agda -f -cpphs と同僚Tさんから聞いてやってみたのだが、失敗。以下ログ。またあとでやってみる。cabalが古いかも。 C:\Windows\system32>cabal install agda -f -cpphs Resolving d…
最近の修正で、ロケールをなおす必要はなくなって、普通に cabal install agda -f -cpphs と同僚Tさんから聞いてやってみたのだが、失敗。以下ログ。またあとでやってみる。cabalが古いかも。 C:\Windows\system32>cabal install agda -f -cpphs Resolving d…