redex.racket-lang.org seems to have reverted to serving the index of /.
David _________________________ Racket Developers list: http://lists.racket-lang.org/dev
redex.racket-lang.org seems to have reverted to serving the index of /.
David _________________________ Racket Developers list: http://lists.racket-lang.org/dev