haskell-jp / beginners #15 at 2021-03-30 02:25:31 +0900

HaskellではなくIdrisを始めようとしているのですが、idringenをインストールしようとする過程でhackage.haskell.orgから502が帰ってきて困っています。これってしばらくすれば解決する問題なのでしょうか？それとも自分の環境に問題があるのでしょうか？

hackageが一時的にダウンしていたそうです。詳しくは random チャンネルに投稿された発言を

ありがとうございます。見落としていました。