Chris Penner
Chris Penner
I think it wouldn’t be too hard to build an online PR viewer that just showed the diff between two namespaces; even without the ability to leave comments or w/e...
This transcript didn't behave quite like I'd expect: ```unison bar = 3 unique[aa] type bar = Foo ``` ```ucm .> add ``` ```unison unique[bb] type bar = Foo | Bar...
In https://github.com/unisonweb/unison/pull/2280, I swapped ucm to use optparse applicative, which means we can now get Bash, Zsh, or Fish tab-completion on arguments and commands for free! This also allows configuring...
Usages of deepTerms and deepTypes require forcing all names of everything under a given namespace, which is just infeasible and slow on large codebases. Also, it's infeasible to load everything...
## Overview Just noticed this when familiarizing myself with the parser-typechecking codepath; looks like TDNR substitution is performing a full ABT visit for each TDNR 'decision', I think we can...
fixes #2970 ## Overview * Support parsing things like: `Nat.-.doc = {{ my doc}}` * As a result this supports nested symbols in paths and such, not that I expect...
Hello 👋🏼 The CLI for [Unison](https://github.com/unisonweb/unison) has one very common use-case (launching the unison shell) and several other 'utility' commands. The way we have things set up right now is...
Hi Kenneth; I recently watched your [talk on ComonadSheet](https://www.youtube.com/watch?v=F7F-BzOB670) and loved it! I'm learning a lot about fixed points, and I'm currently working on a problem which could make great...
I don't see any way to add options, like `-r` to the invocation of jq; I need this pretty often. Did I miss it?
Hi Everyone, I've got a few use-cases that I'm wondering if Neovim can solve. If I'm missing something just let me know. The main thing I'd like to do is...