commute -> applied in any order

pmeunier

Feb 22, 2022, 7:51 AM

OE4TXB5WMZ5OEVWI2B5IQ2J46FCEMF3Y622UWABWGX5G25KXV6RQC

Dependencies

• [2] SCSV2FNS Reboot
• [3] VG2C5MWE https -> http for Darcs.net
• [4] 4NAVGRWW Which A (in Git merge)

Change contents

• replacement in src/why_pijul.md at line 9
  [2.2973]→[2.2973:3129](∅→∅)
  − In Pijul, for any two changes A and B, either A and B commute, (in

  − other words, A and B can be applied in any order), or A depends on B,

  − or B depends on A.
  [2.2973]

  [2.3129]
  + In Pijul, for any two changes A and B, either A and B can be applied in any order, or A depends on B, or B depends on A.