Skip to content

Commit

Permalink
Fix minor grammar in _01_background.rs (#267)
Browse files Browse the repository at this point in the history
  • Loading branch information
namin authored Aug 21, 2023
1 parent c590048 commit e7845c5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tutorials/_01_background.rs
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,7 @@ In `egg`, these are represented by the [`EGraph`], [`EClass`], and
Even small e-graphs can represent a large number of expressions, exponential in
the number of e-nodes.
This compactness is what makes e-graphs a compelling data structure.
We can define what it means for _represent_ (or _contain_) a term as follows:
We can define what it means to _represent_ (or _contain_) a term as follows:

- An e-graph represents a term if any of its e-classes do.
- An e-class represents a term if any of its e-nodes do.
Expand Down

0 comments on commit e7845c5

Please sign in to comment.