Simon Højberg
Simon Højberg
a `view.summary` version might be a separate option here that allows you to view summaries of types as well as terms. so like `unique type Nonempty a` might be the...
I worked on a draft proposal for the `Project` type: # Unison Project type and definition proposal We've discussed having a definition in a namespace called `project` of type `Project`...
@atacratic thanks for looking over this, really good feedback. I've tried to respond below as best as I can. ## Project goals Firstly, I apologize, there isn't much context in...
The RICE score is based on the `/list` API being used over https://github.com/unisonweb/unison/issues/2172 in the initial version of https://github.com/unisonweb/codebase-ui/issues/78
Rúnar mentions that since oldnames are not working, `namespaceListingName` can be `null`, but shouldn't be a problem for the latest version of a namespace.
Old names effort: https://github.com/unisonweb/unison/issues/2128
Removing the p1 label. We still eventually want to support this, but got around it for the UI by including the codebase hash + namespace name in urls instead.
Right! `.> ui update` and `.> ui install` and `.> ui install unstable` for instance. I like it—added it to the list.
@ceedubs nice!
Yeah `GET /api/find?query=void` instantly causes this - very strange.