unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
In the example below, if I find by type using `e` and `a` as the type variables for `Either` then I see the expected results, but if I use `l`...
UCM is sometimes run in a non-interactive session, e.g. transcripts, when 'running' a .uc file, and of course, when running in Enlil. UCM should know whether it's hooked up to...
It would be nice to be able to do a `find :` without specifying abilities. I was trying to understand how to do file IO, and found `io.openFile`, which returns...
it would be really nice/convenient to be able to pass actual unison terms as parameters to a main function. Right now i have to create a separate main function for...
If `foo` depends on `bar`, then `delete.term bar` complains that it would leave `foo` with a nameless reference. ... unless `foo` and `bar` are in the same component, in which...
when I run `edit a b c` they should show up in that order in the file. right now they show up in a seemingly random order
I think yes: you can always `cd lib` if you specifically want to see whether your dependencies are curret wrt a patch. ``` .distributed.topics.baseupdate> todo lib.base_new.patch 🚧 The namespace has...
If the destination for `move.namespace` is outside of the current namespace, then it is effectively a `delete.namespace` from the perspective of the current namespace/project. However, it doesn't do the dependency...
Sometimes we hide namespaces with a history but no contents at the latest causal step in a few places (e.g. in `ls`, and when serving various payloads to the frontend)....
@SystemFw ran into this recently. We changed `move.namespace` to not preserve the history, and I think the same reasoning applies here (I can't find the ticket at the moment). For...