update transcripts due to out-of-order merges

This commit is contained in:
Arya Irani 2023-11-30 10:55:52 -05:00
parent 77c642c735
commit 1bd0d0f292

View File

@ -82,10 +82,6 @@ unique type A = A ()
Okay, I'm searching the branch for code that needs to be
updated...
That's done. Now I'm making sure everything typechecks...
Everything typechecks, so I'm saving the results...
Done.
.> names A
@ -125,10 +121,6 @@ Note that `A` is back to its original hash.
Okay, I'm searching the branch for code that needs to be
updated...
That's done. Now I'm making sure everything typechecks...
Everything typechecks, so I'm saving the results...
Done.
.> names A