Paul Chiusano

Also @atacratic I really love idea of having generic set of distributed computing libraries, all in pure Unison, so excited to get things to a place where you and other...

Blocked until language and editor are a bit further along I'd say.

I thought Share already did something fancy for this... no?

The weird runtime behavior is not present in trunk, but there is still an issue with decompilation flipping the order around. ``` finished evaluate in 0s (cpu), 0s (system) Timing...

Anything that can't get done in time, just add an under construction callout at the top.

I think this seems super reasonable, however I'm realizing that archived namespaces #1340 may make this optimization less important. Like, yes it is good to make loading things from the...

Yeah, it’s not resolving the names in the type signature - it’s using only local names for that. I think we could allow all names in the type signature, with...

Discussed this, decided the following: * We're going to amend the codebase interface so the codebase is not responsible for doing ANY hashing. Currently, the codebase is doing some type...

This is a regression from M2g.

I understand and yeah the type-directed stuff discussed in #852 seems better long term. In the short term, given the dynamic behavior of abilities, it seems like we should infer...