updated documentation to use new repl `>` instead of `:-`.