Paul Chiusano
Paul Chiusano
Something that is nice about having `MonadGet` and `MonadPut` as classes is you can use the same serialization logic for different purposes. For instance, you can create a `MonadPut` instance...
See https://github.com/unisonweb/unison/pull/3284#pullrequestreview-1057844307
On bigger namespace trees in particular.
``` unique ability Foo where foo : Nat Foo.map : (a ->{g} b) -> '{Foo,g} a -> '{Foo,g} b Foo.map f foo = do f !foo x = [Foo.map id...
A typical process is you update one of your dependencies, then want to apply the patch from its new release to your codebase. Like you'd type `patch lib.something.shiny_new_version.patch` at your...
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,...
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.
`test.label` alias was removed apparently, and there might be some other changes
``` structural ability z.Zoink where yay.there : Nat -> Nat nay : Nat -> Nat ``` Now `view Zoink` ``` structural ability z.Zoink where there : Nat ->{z.Zoink} Nat nay...
So in this example, `Seq.map` is unique to the namespace, but the `display` renderer is showing more segments than that. In the local ui it works fine. Also `view` works...