eldritch-cookie
eldritch-cookie
it is recommended to use bash strict mode for scripts like for direnv, currently due to the line `export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:${lib.makeLibraryPath depsSystem}"` it fails on strict mode if LD_LIBRARY_PATH is unset
TODO: import new module TODO: actually implement hydras TODO: make tests for module
| Field | Description | |----------|-------------| | Plugin | `hydra.nvim` | | Homepage | `https://github.com/nvimtools/hydra.nvim` | | Nixpkgs | `vimPlugins.hydra-nvim` | ## Extra Information
#### Issue type: - :heavy_plus_sign: Feature request ____ #### Short description: when using tunnels i commonly want to make the options like channel depend on other variables in the network....
the test suite fails to compile ```console Building library for lifted-base-0.2.3.12.. [1 of 9] Compiling Control.Concurrent.Chan.Lifted ( Control/Concurrent/Chan/Lifted.hs, dist/build/Control/Concurrent/Chan/Lifted.o, dist/build/Control/Concurrent/Chan/Lifted.dyn_o ) [2 of 9] Compiling Control.Concurrent.MVar.Lifted ( Control/Concurrent/MVar/Lifted.hs, dist/build/Control/Concurrent/MVar/Lifted.o, dist/build/Control/Concurrent/MVar/Lifted.dyn_o...
looking at sbv it has support for both floats of arbitrary precision and rational numbers could grisette add support for them?
### Are you following the right branch? - [X] My Nixpkgs and Home Manager versions are in sync ### Is there an existing issue for this? - [X] I have...
https://gist.github.com/eldritch-cookie/4d014543c0590c5b63a2892286c20dfe this is a major annoyance, as it causes neovim treesitter folds to hide unrelated code or i need to litter my code with useless comments
using the following code with the standard library ```agda open import Data.Nat using (ℕ; _+_) open ℕ data _≤_ : ℕ → ℕ → Set where lte : (a b...
the weak paragraph delimiter may fail to end the paragraph, if a list, like a definition list is parsed. this is sensitive to whitespace including spaces. i have a gist...