From d92d7835307f01bbcbb6b0cf6d2ad10e56e0ddba Mon Sep 17 00:00:00 2001
From: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>
Date: Thu, 16 Nov 2023 20:43:20 -0500
Subject: [PATCH] docs: update REPL namespace

PR-URL: 	https://github.com/stdlib-js/stdlib/pull/1131
Co-authored-by: Athan Reines <kgryte@gmail.com>
Reviewed-by: Athan Reines <kgryte@gmail.com>