Paul Chiusano

It's really the `diff.namespace` computation that's slow, I believe. You can confirm this by doing `diff.namespace` on the two reflog entries.

Might be as simple as doing the diff with respect to the current namespace rather than the root.

@ceedubs and @stew can provide some color on this. Having this is going to give us more confidence when merging stuff like #3377

Ideas we discussed: * Have a transcript that serializes as many cases we can think of, and writes results to file(s). These files are checked into version control so that...

Discussion from today: The current design isn't great in that the destination namespace is chosen when the PR is created. Really, the destination namespace should be chosen when the PR...

Okay, here's a writeup of the latest design that @aryairani and I worked on. This is focused on making the pull request (PR) process seamless and easy within the Unison...

Look in `PrintError.hs` to fix.

This is expected, you can’t decompile things like TVars and MVars! And it also doesn’t crash the program, which is good. Maybe this could print out the TVar as or...

We want to overhaul coloring to make it more understandable and consistent across all aspects of the application; proposals are welcome.

I'd probably just have edit put it in a comment, but view can show it as is. Seems like a quick fix if desired.