diff options
author | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-10 20:00:58 +0200 |
---|---|---|
committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2021-10-10 20:08:14 +0200 |
commit | 90f8d431fe694b0b6b040c31447d961bcc75e52f (patch) | |
tree | 7094a76fc23e558a31f329892a00878f012ce7a1 /archive | |
parent | 8211f0ecdf8a65584d34ee177616dda80ebcab17 (diff) |
keep summary session at its current location
I don't think it improves our design document by being moved. We
already have a summary of properties in the introduction, and an easier
primer at the start of Section 3 that is strongly coupled to Figure 1.
Perhaps it is no longer necessary though. When we wrote this we did not
have a summary of properties in introduction, or a relatively detailed
walk-through of the log's intended usage-pattern.
I'm fine with both keeping as is or deleting if it feels redundant.
Diffstat (limited to 'archive')
0 files changed, 0 insertions, 0 deletions