Gabriel Scherer
Gabriel Scherer
@olivier-martinot and myself are writing a pretty-printer for MidML. I got stuck on how to properly pretty-print `let ... in`, and I think that my final iteration suggests that a...
We should have an explicit example of custom utop build such as [this one](https://github.com/diml/utop/blob/master/examples/custom-utop).
I'm creating this issue to keep track of various minimal self-contained examples we should have in the documentation, besides the one kindly contributed by @lindig in #13 , because they...
I use the [org-tree-slide](https://github.com/takaxp/org-tree-slide) mode, and from the front (github) page of org-present I cannot tell how the two compare. I suppose that some readers encountering your project will have...
I want a keyboard-only workflow to read PDF documents. Currently the texpresso viewer enables this in fit-height mode, but not in fit-width mode where I have to use the touchpad...
Does the TeXpresso viewer support jumping to the destination of a reference? (When working on scientific LaTeX documents it is very useful to be able to follow references, and also...
With time passing, I find the warnings about some Macaque identifiers matching reserved (or not) SQL identifiers increasingly annoying. I would be interested in feedback on this (does it also...
This was suggested by @OlivierNicole in https://github.com/ocaml/ocaml/pull/12885#issuecomment-2067761369 . Having comparison functions for `Dynarray` is useful because they do not have a canonical representation: two dynarrays may have the same elements,...
This is the next PR in the stack to fix #7241. To fix the bug, we need to pessimize the totality information coming from the type-checker when we switch on...