unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
Normally when a function has multiple arguments one can pattern match with multiple arguments like this: ```unison test: Nat -> Nat -> Nat test = cases x, y -> x...
and prompt to delete file that is in everyone’s home dir, whoops
typing in manual push destinations is annoying adding things manually to your config is annoying what I want: I type `push blah` It remembers that push destination in my config,...
[](https://asciinema.org/a/Kwa7NscffA3R8KCHxq1OavRm0) ## Overview This adds the following features to the [Mk I release](https://github.com/unisonweb/unison/pull/3213): ## Installation and setup Currently the only supported configuration is to connect to the LSP via a...
LSP Mk I
[](https://asciinema.org/a/Kwa7NscffA3R8KCHxq1OavRm0) ## Overview LSP's probably don't need much introduction; This adds the foundation of an LSP server into UCM! This iteration supports: * Show type on hover (this currently does...
Steps to reproduce: 1. Add a term in a sub-namespace (e.g., `unique ability X = X Nat`) 2. Push to Share (`push`) 3. Move the sub-namespace (e.g., `move.namespace X Y.X`)...
From: https://share.unison-lang.org/@unison/code/latest/namespaces/public/distributed/latest/;/types/@3uarccgfv6hh5312b0389kus776uqr6vkm6c8u46bd95h0k3gglmnrjaq2408vfbbgg10l3irij7avve368b9iqa6u8b6defoicher0 Not super high priority (workaround is to use a `@source{blah}` in the doc instead of an inline example) but I wonder if there's an easy fix.
The Cloud ability needs user credentials to submit jobs, rather than hard-code a specific token which might expire and need to be updated we instead provide the path to a...
I selected to `view 1` as suggested by UCM, but it actually showed the 3rd term, not the first. ``` .alvaro> dependents canvas.Canvas.drawOld Dependents of #gok8jhp4nk: Name Reference 1. anim.runSimple...
``` .suffixtree> push fatal: repository 'anovstrup.public.suffixtree' does not exist I couldn't clone the repository at anovstrup.public.suffixtree ; the error was: callProcess: git "clone" "--bare" "--depth" "1" "anovstrup.public.suffixtree" "/Users/anovstrup/.cache/unisonlanguage/gitfiles/anovstrup$dot$public$dot$suffixtree-bare" "--quiet" (exit...