Cody Allen
Cody Allen
I don't believe it was empty. I added two terms, deleted one, and then compared the benefits with two terms to the subsequent one with one term.
When I tried with an empty namespace it failed, saying the namespace was empty (even though it had history)
Here's another one I'm not sure about: ``` kill.impl : ThreadId ->{IO} Either Failure () ``` I could see it potentially returning a `Left` with a `Failure` if the thread...
Here's my attempt at writing a helper function for racing two computations against each other. See the inline comments about awkwardness dealing with `Exception`. ```haskell {{ A low-level function to...
:+1: yeah this output is waaaaay better than it used to be.
> which operation is that? [tryEval](https://share.unison-lang.org/@unison/base/code/releases/3.7.0/latest/terms/IO/tryEval/impl)
Note: `pull.without-history` now is faster than it used to be. But it still would be nice to have a fast way to pull from a local codebase or execute in...
#4644 is related in the sense that if it is implemented, the error message should reference it.
I think that it's really fascinating that Unison would be so good at supporting pluggable syntax! But at the same time I actually think that this wouldn't be worth the...
This slight variation _does_ compile: ``` takesMany : ['{g1, Ask ('{g2} ())} ()] -> () takesMany x = bug "not implemented" ``` I've noticed a general pattern that using multiple...