Leni Aniva
Leni Aniva
Is there an idiomatic method for specifying the toolchain used for `generateCargoNix`? Currently I'm using an overlay with `oxalica/rust-overlay`: ```rust overlays = [ (import rust-overlay) (self: super: let toolchain =...
If the equation to be labeled is on the bottom of one page and LaTeX does a pagebreak right after the equation, the labels will show up in the next...
Steps to reproduce the bug: 1. Install archlinux, `hyprland` (or `hyprland-git`, both will crash) 2. Install `waybar-hyprland-git` 3. Install fcitx5 4. Start `waybar` and then `fcitx5` 5. Hover the cursor...
Lean 4's [first official release](https://github.com/leanprover/lean4/releases/tag/v4.0.0) has been created. There is no module for Lean 4 in doomemacs yet so I am opening this PR. This is my first time contributing...
When I put the unicode character "∀" into `cat`, the output doesn't roundtrip: ``` Input: ∀ 226 136 128 Output: 195 162 194 136 194 128 ``` Code: ```rust...
Previously, if the client program outputs unicode, the unicode output would be garbled when it is piped through `NBReader`. For more detail, see #105. Writing doesn't seem to have any...
This may be useful for hashconsing and bookkeeping Example use case: I want to have a pool of hashconsigned AST objects, and I would store them in a hashmap `HashMap`....
Would it be possible to have `ArenaWeak` for `ArenaArc` type like `Weak` type for `Arc`?
### What's missing? Would it be possible to use julia2nix to manage julia packages in an analogous way to poetry? Currently the julia depot in https://github.com/tweag/jupyenv/blob/main/modules/kernels/julia/default.nix defaults to `~/.julia` which...
### Current Behavior I created a python kernel using the instructions [here](https://github.com/tweag/jupyenv/blob/main/docs/documentation/how-to.md), and it gave this error: ``` error (ignored): error: end of string reached error: … while calling the...