unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
If a definition is open, and a the perspective is changed to still include that definition but one namespace level deeper, the original definition url remains the same, meaning the...
a) Just do `before` check on client, then still construct the history path b) Just do `before` check on server, no need for client to construct the history path —...
- [x] blocked on #2718 ## Motivation In looking over some runtime profiles of `ucm` starting up, I notice we spend a lot of time opening and finalizing sqlite statements....
My understanding is that `find.global` should search the entire code base (maybe incorrect?). It doesn't seem to work. It only works for me from the top-level: ``` .alvaro> find.global :...
In the video, after using `find`, I am just hitting the up-arrow several times to browse previous commands and the output is messed up. https://user-images.githubusercontent.com/107395/177197948-50456981-19db-4a80-8c5c-8c1283f99a97.mov Other terminal navigation like down-arrow...
We have hashes computed in different places — sometimes in the codebase implementation and sometimes outside of it. We should pick one, IMO passed in, with its own independent representation...
Self-contained example: ``` f : (forall a . a -> a) -> Nat f id = id 0 x = 'f ``` Results in: ``` UnknownExistentialVariable: unsolved ``` Seems like...
`update` sometimes take a long time. It seems like it might be related to patch size, but not sure. It would be nice for starters to just report more output....
To support the project notion we'll need some new ucm commands. The goal of this ticket is to design those commands, not implement them. Rough draft: - `.> project.create {{project-name}}`:...