Rebecca
Rebecca
**Describe and demonstrate the bug** @hojberg and I have noticed a change in how terms which include the `|>` operator are displayed since 0.5.26. Old display as of 0.5.25: ![Screenshot...
This is probably on the team's radar already, so feel free to close out if already captured. I noticed that the tab completion for `projects` related help topics doesn't show...
**What's the message you're seeing?** Context, this issue cropped up in this discussion, around a more complicated record type: https://github.com/unisonweb/unison/discussions/5669# The minified structure is as follows: ``` unison -- nullary...
**Describe and demonstrate the bug** This failure is intermittent, so reproducibility is a bit of a challenge at the moment. Some Unison `Doc` terms are not able to be rendered...
Including a record type in the `@source{}` element used to render the record type with its named fields. There may have been a regression such that the `docs` or `display`...
It looks like `delete.namespace` does not accept a numbered arg. Its behavior when provided a text-based name is unaffected (works great!) Transcript reproduction: ```ucm:hide ns-test/main> builtins.mergeio ``` ```unison oneNamespace.termThing =...
**Describe and demonstrate the bug** Based on the described output from `help` for the new `comment` command, I had thought that `comment /comment-branch` would be the pattern for applying a...
A meta ticket describing some features or changes that improve the readability of the docs, or improve the docs writing workflow. Please add if you notice something that might be...
A doc containing inlined code examples will sometimes be expanded into an invalid transcluded snippet. Mini example (also in attached transcript): ``` doc = {{ `` 1 + 2 +...
A rewrite rule for a simple tuple -> proper record type conversion causes the UCM to hang and ultimately get killed by some process manager. The rule: ``` unison findPagination...