Updated REPL URL to frege-lang domain