rdex isnt a word

README.md

@@ -89,7 +89,7 @@ HVM-Core's textual syntax represents interaction combinators via an AST:
 
 <NET> ::=
   <ROOT> ::= <TERM>
-  <RDEX> ::= "&" <TERM> "~" <TERM> <NET>
+  <REDEX> ::= "&" <TERM> "~" <TERM> <NET>
 
 <BOOK> ::= 
   <DEF> ::= "@" <name> "=" <NET> <BOOK>
@@ -419,7 +419,7 @@ struct Redex {
 // A closed net
 struct Net {
   root: Ptr,       // a free wire
-  rdex: Vec<Redex> // a vector of redexes
+  redexes: Vec<Redex> // a vector of redexes
   heap: Vec<Node>  // a vector of nodes
 }
 ```

cspell.json

@@ -31,7 +31,6 @@
     "plog",
     "ptrs",
     "rchunks",
-    "rdex",
     "readback",
     "redex",
     "redexes",

src/ast.rs

@@ -125,15 +125,15 @@ impl<'i> Parser<'i> {
 
   /// Net = Tree ("&" Tree "~" Tree)*
   fn parse_net(&mut self) -> Result<Net, String> {
-    let mut rdex = Vec::new();
+    let mut redexes = Vec::new();
     let root = self.parse_tree()?;
     while self.consume("&").is_ok() {
       let tree1 = self.parse_tree()?;
       self.consume("~")?;
       let tree2 = self.parse_tree()?;
-      rdex.push((tree1, tree2));
+      redexes.push((tree1, tree2));
     }
-    Ok(Net { root, redexes: rdex })
+    Ok(Net { root, redexes })
   }
 
   fn parse_tree(&mut self) -> Result<Tree, String> {