| 14:12 | <littledan> | I suspect that, if we want to make the mental model of the spec clearer, we should make the text higher level (explaining intentions more) rather than lower level (having very detailed mechanics that imply the right thing) |
| 14:15 | <jmdyck> | I think we'd want both: high-level in the prose and low-level in the algorithms. |
| 14:17 | <littledan> | I guess it depends what you mean by low-level. I don't think we should go much lower level than today. |
| 14:18 | <littledan> | If edits are being made, I would recommend focusing on the prose as the higher priority, since the audience of the spec is humans. |
| 14:48 | <jmdyck> | Do you view what bakkot and I are doing/discussing as "going lower level than today"? |
| 14:49 | <jmdyck> | (Just trying to get a better sense of what you're advising against/about.) |