Skip to content

Instantly share code, notes, and snippets.

@hsenag

hsenag/gist:674039bb07e3be809ad7e5bfcfe33a0f

Last active June 19, 2023 22:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hsenag/674039bb07e3be809ad7e5bfcfe33a0f to your computer and use it in GitHub Desktop.
Save hsenag/674039bb07e3be809ad7e5bfcfe33a0f to your computer and use it in GitHub Desktop.
Download ZIP
force commute
Raw
gistfile1.md 
p1;p2

-->

fixups(p1);p2;fixups(p1^) ; fixups(p2^);p1;fixups(p2)

p1 = NamedP n1 [] []
p2 = NamedP n2 [n1] []

AddName n1 ; NamedP n2 [n1] [] ; DelName n1 ; DelName n2 ; NamedP n1 [] [] ; AddName n2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment