Closed erno closed 10 months ago
Hi,
Seems http://repl.futhark-lang.org/ leads to 502 Bad Gateway error page, I saw this also earlier so it's probably not a transient problem.
It is this issue. I restarted the REPL daemon.
Hi,
Seems http://repl.futhark-lang.org/ leads to 502 Bad Gateway error page, I saw this also earlier so it's probably not a transient problem.