Gabriel Scherer
Gabriel Scherer
There is something weird with the new implementation where "down" may pan jump to the following page. Sometimes I am at the bottom of the current page, but pressing "down"...
(Ah, looking at the diff again I see that this corresponds to the FIXME comments in the code.)
I remain unsatisfied with the current behavior: when I try to move through the document using "up" and "down" I am often lost, not sure where I am. I looked...
Now that texpresso-vscode is referenced in the README, I think that this issue could be closed.
I pushed a new commit that gives the `\fullref` command (and the other that grew up organically around it), gated under a `refstuff` option -- I'd rather not contribute to...
I've been working on this, but it is rather hard to implement, because of the interaction with flattening in particular (go have a look at `sql_flatten.ml` for one of the...
When we designed `group by`, it simply seemed more expressive to do it that way. Do you have a realistic use-case where the grouped-over value is too large to be...
SQL group-by queries have a well-defined general semantics, but actually use strange heuristics to decide what can and cannot be grouped over. I'm not quite sure how to handle this....
You should not use `row_t` here as it is mean to denote not a single SQL value, but a whole row of a SQL selection. I think `< t :...
I am still not convinced that this is the right solution. In particular, I doubt this approach could be extended to handle "really polymorphic" arrays. I may try to experiment...