Mathias Sven
Mathias Sven
https://pypi.org/project/kiwisolver/1.3.0/ Might save someone else a few minutes of troubleshooting.
When you ask for an inferred type via one of `Agda: Infer Type (simplified, normalised, instantiated)` the information is given to you almost instantly, I assume all it does is...
The circumstances in which this is manifested seem strangely specific, I might have mistitled. Essentially, when you try to use a type constructor as a data constructor, ~~to the right...
**Feature Description:** It would be easier for deployment if dynmap supported either logging in without a password, or using the `unix_socket` authentication method that is based on the user running...
**Describe the bug** When attempting to reference a store path produced by a dependency in a generated `.nix` file, this error shows up: ``` error: access to absolute path '/nix/store/4ikgkpinnmajkajfwfms6d8vhx1gg9xd-new-text'...
**Is your feature request related to a problem? Please describe.** I have accumulated multiple code blocks in my notes, but some code blocks are not meant to be run, just...
LICENSE file says GPL-2.0, but `setup.py` has it as MIT: ```py classifiers=[ "Programming Language :: Python :: 3", "License :: OSI Approved :: MIT License", "Operating System :: OS Independent",...
### Debug log ID 4BUQGVST-refs-euc/6.7.248-7 ### What happened? The citation dialog doesn't appear on top when called. I am not sure if this is a duplicate of #2895, but in...
I wrote a little script a while ago that has occasionally comes in handy, here is the [gist](https://gist.github.com/MathiasSven/2e65bdb4a27a2be89d0ff502facaf613). What is does essentially is, given some package path on `nixpkgs`, it...
**Describe the bug** This came up while annotating a list of flags. The in-place OR operator does not behave as expected when it comes to `Literal`s. This is perhaps understandable...