update extension_inference README

CQCL · Dec 12, 2024 · 2a3ef99 · 2a3ef99
1 parent 5835d5d
commit 2a3ef99
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/hugr-core/README.md b/hugr-core/README.md
@@ -16,8 +16,8 @@ Please read the [API documentation here][].
 ## Experimental Features
 
 - `extension_inference`:
-  Experimental feature which allows automatic inference of extension usages and
-  requirements in a HUGR and validation that extensions are correctly specified.
+  Experimental feature which allows automatic inference of which extra extensions
+  are required at runtime by a HUGR when validating it.
   Not enabled by default.
 - `declarative`:
   Experimental support for declaring extensions in YAML files, support is limited.

diff --git a/hugr-passes/README.md b/hugr-passes/README.md
@@ -32,8 +32,8 @@ Please read the [API documentation here][].
 ## Experimental Features
 
 - `extension_inference`:
-  Experimental feature which allows automatic inference of extension usages and
-  requirements in a HUGR and validation that extensions are correctly specified.
+  Experimental feature which allows automatic inference of which extra extensions
+  are required at runtime by a HUGR when validating it.
   Not enabled by default.
 
 ## Recent Changes

diff --git a/hugr/README.md b/hugr/README.md
@@ -30,8 +30,8 @@ Please read the [API documentation here][].
 ## Experimental Features
 
 - `extension_inference`:
-  Experimental feature which allows automatic inference of extension usages and
-  requirements in a HUGR and validation that extensions are correctly specified.
+  Experimental feature which allows automatic inference of which extra extensions
+  are required at runtime by a HUGR when validating it.
   Not enabled by default.
 - `declarative`:
   Experimental support for declaring extensions in YAML files, support is limited.