Jon Sterling

The example demonstrates dependency, but in a silly / confusing way. Should replace this with something like a refiner for first order logic, or a little dependent type theory.

Hi! I am a new (and very happy) user of NetNewsWire — one thing I noticed is that I am often accidentally triggering the single-key shortcuts — especially `k`, because...

opam install . --deps-only --working-dir incorrectly reports "Nothing to do"

6

As far as I can tell, the `--working-dir` option of `opam` is not functional. I cannot tell if this is my own misunderstanding of what `--working-dir` or `--deps-only` are supposed...

Nesting collapsibles

1

Thanks for this nicely written package! I am having a bit of difficulty understanding how to use multiple collapsibles when nested; in particular, there is a need to associate a...

Package forester.5.0

5

### `forester.5.0` A tool for tending mathematical forests --- * Homepage: https://sr.ht/~jonsterling/forester/ * Source repo: git+https://git.sr.ht/~jonsterling/ocaml-forester * Bug tracker: https://todo.sr.ht/~jonsterling/forester --- :camel: Pull-request generated by opam-publish v2.5.1

Is ValueSet decoding too strict?

2

The [Helix editor](https://helix-editor.com) language client sends an empty dictionary `{}` for this `params.capabilities.textDocument.completion.completionItemKind` during initialisation, but the `LanguageServerProtocol` library expects this dictionary to have a `valueSet` field if it is...