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...

Internal Error `ghcide-code-actions-imports-exports` arising from usage of erroneous type constructor as a term due to incorrect import

3

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...

Support `unix_socket` authentication and passwordless

1

**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...