Cody Allen
Cody Allen
I often am searching for a specific project with an explicit `@`, such as `@metrics` or `@http`. The result often feels a little sluggish. I've noticed that this makes a...
**Describe and demonstrate the bug** Maybe I'm not using it the intended way, but I find `branch.diff` awkward to use. Usually I want to compare my current branch to `/main`....
**Describe and demonstrate the bug** I could be wrong, but in the following example I would expect `foo` and `foo2` to both be valid and roughly equivalent definitions. But `foo`...
**Is your feature request related to a problem? Please describe.** When I run a command like `view` or `edit`, I often need a bit more context to figure out which...
**Describe and demonstrate the bug** ``` ucm > builtins.merge Done. ``` # Create a type ``` unison type Foo = Foo Nat foo: Foo -> Nat foo = cases Foo...
Currently the nix flake marks `aarch64-linux` as a supported system, but our `Nix development cache` CI job doesn't publish to the nix cache for aarch64-linux. When I attempted to make...
**Describe and demonstrate the bug** Below is a transcript. A couple of things seem wrong to me. 1. You can see that there is an explicit type signature on `abilities.repeat`...
**Describe and demonstrate the bug** ```` ``` ucm > builtins.merge Done. ``` ``` unison > 3 ``` ``` ucm :added-by-ucm Loading changes detected in scratch.u. No changes found. 1 |...
**Is your feature request related to a problem? Please describe.** when the `test` command takes a long time to run, there's no good way to know which tests are taking...
**Describe and demonstrate the bug** In a `Doc` literal, placing a term reference immediately after a parenthesis causes it to not be recognized as a term reference. Example: ``` >...