The semantics of discard is not clearly explained and that may lead to confusions.
We should have a small section (nearby 5.1) where the concept is clearly explained, which can be referenced from other places (e.g., when the resolution algorithm is explained).
cabo
commented
2 years ago
The semantics of discard is not clearly explained and that may lead to confusions.
We should have a small section (nearby 5.1) where the concept is clearly explained, which can be referenced from other places (e.g., when the resolution algorithm is explained).