Lua 🌒

I'm using `dotnet` SDK on linux and I can reproduce the issue in both VSCode with Ionide and Emacs with `lsp-mode`. Steps to reproduce: in a shell, ``` mkdir código...

Ema scrolls to the anchor in every DOM patch

3

This is just for keeping track of the discussion in https://github.com/srid/ema/pull/86#issuecomment-1044854353. (if the URL being displayed has an anchor, every time the page is patched the client would scroll to...

The trend arrow in the Wear watchfaces apparently do not account for smoothing. See the two attached images below. I've tested it both stock and personalized watchfaces and both have...

### Prerequisites Please put an X between the brackets as you perform the following steps: * [x] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [x] Reduce the...