Define `resolved value` formally
aphillips opened this issue · 1 comments
aphillips commented
There have been multiple comments on the need to define the term "resolved value", which we use formally but have defined somewhat informally.
catamorphism commented
Note that this is the goal of #645