diff --git a/.basedpyright/baseline.json b/.basedpyright/baseline.json
index 19fc8fad..0666c32f 100644
--- a/.basedpyright/baseline.json
+++ b/.basedpyright/baseline.json
@@ -10885,22 +10885,6 @@
                     "lineCount": 1
                 }
             },
-            {
-                "code": "reportUnknownMemberType",
-                "range": {
-                    "startColumn": 30,
-                    "endColumn": 49,
-                    "lineCount": 1
-                }
-            },
-            {
-                "code": "reportUnknownMemberType",
-                "range": {
-                    "startColumn": 22,
-                    "endColumn": 41,
-                    "lineCount": 1
-                }
-            },
             {
                 "code": "reportUnknownMemberType",
                 "range": {
diff --git a/doc/conf.py b/doc/conf.py
index fe148976..e21a5e1f 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -13,7 +13,7 @@
 intersphinx_mapping = {
     "arraycontext": ("https://documen.tician.de/arraycontext/", None),
     "boxtree": ("https://documen.tician.de/boxtree/", None),
-    "islpy": ("https://documen.tician.de/islpy", None),
+    "namedisl": ("https://documen.tician.de/namedisl", None),
     "loopy": ("https://documen.tician.de/loopy/", None),
     "matplotlib": ("https://matplotlib.org/stable/", None),
     "numpy": ("https://numpy.org/doc/stable/", None),
@@ -57,6 +57,8 @@
     # pymbolic
     "ArithmeticExpression": "obj:pymbolic.ArithmeticExpression",
     "Expression": "obj:pymbolic.typing.Expression",
+    # namedisl
+    "nisl.Set": "class:namedisl.Set",
     # loopy
     "Assignment": "class:loopy.kernel.instruction.Assignment",
     "CallInstruction": "class:loopy.kernel.instruction.CallInstruction",
diff --git a/sumpy/array_context.py b/sumpy/array_context.py
index 2436e30a..c305fadc 100644
--- a/sumpy/array_context.py
+++ b/sumpy/array_context.py
@@ -38,7 +38,7 @@
 if TYPE_CHECKING:
     from collections.abc import Iterator, Sequence
 
-    import islpy
+    import namedisl as nisl
     from numpy.typing import DTypeLike
 
     from arraycontext import ArrayContext
@@ -60,7 +60,7 @@
 # {{{ PyOpenCLArrayContext
 
 def make_loopy_program(
-        domains: str | Sequence[str | islpy.BasicSet],
+        domains: str | Sequence[str | nisl.Set],
         statements: Sequence[InstructionBase | str] | str,
         kernel_data: list[Any] | None = None, *,
         name: str = "sumpy_loopy_kernel",