minor clarification

This commit is contained in:
Alexander Regueiro 2018-01-31 02:09:24 +00:00 committed by Who? Me?!
parent a396106201
commit d797aaecca

View file

@ -49,7 +49,7 @@ query Q (which must not have yet been executed). In cases where Q has
red inputs, determining Q's color may involve re-executing Q so that
we can compare its output, but if all of Q's inputs are green, then we
can conclude that Q must be green without re-executing it or inspecting
its value, regardless. In the compiler, this allows us to avoid
its value at all. In the compiler, this allows us to avoid
deserializing the result from disk when we don't need it, and in fact
enables us to sometimes skip *serializing* the result as well
(see the refinements section below).