search

morganthomas / Shpadoinklekasten-lib

Other
0 stars 1 forks source link

Prove completeness of algebra operations #33

Open morganthomas opened 4 years ago

morganthomas commented 4 years ago

Completeness means that the available changes should be able to bring us from any historyless state to any other possible historyless state. The historyless state is the state minus the session, comment edits older than the current edit, and trash.