unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
This came up in #2198 which has a good example and has been a known issue for a while.
A unique type definition not deleted from a scratch file will always be treated as an update (as opposed to an existing/known definition) after an `add`. See #2195.
Right now when you add a type replacement to a patch, during propagation, we don't verify that the kinds of the old and new type are the same. This can...
The change we made such that `cons b (one empty) == one b` makes it so that you can't `undo` the first change made to the root, which I guess...
We saw in #2138 that synthetic vars (is the problem limited to synthetic vars?) can render wrong: ``` .> view List.map base.List.map : (a ->{𝕖} b) -> [a] ->{𝕖} [b]...
It would be really cool to have a `ui` command in `ucm`. Here's how I imagine it working: * `.> ui`, opens the UI in the browser if there's a...
If in a namespace with a `doc` or a `readme` definition (any capitalization), the `docs` command without any arguments should display that.
Searching for the string `Void` in the Find feature seems to spin forever. Scrolling down to the `Void` type on the left nav bar and clicking it results in an...
Some notes at https://roamresearch.com/#/app/arya-unison/page/ews6AvbXu
```Haskell type UniqueSuffix = Name Codebase.loadNames :: Branch.Hash -> Set (Either Referent Reference) -> Map (Either Referent Reference) (Set UniqueSuffix, Set HashQualified) ``` And then rework `Backend` to make use...