Stefano Volpe
Stefano Volpe
### Language Name 🖊 Lean (proof assistant/programming language) https://lean-lang.org/ ### Logo 📷  ### Upstream support ✅ - [X] Does tokei already support the language in question?
Fixed an example in the doc.
This command seems to ignore the provided `PACK_DIR` value and install in `.pack/bin` anyway: ```bash $ PACK_DIR=/home/foxy/desktop/ pack -p nightly-240617 install-app idris2-lsp ``` Or perhaps `PACK_DIR` is not meant to...
[This assertion](https://github.com/tree-sitter/tree-sitter/blob/3da7deedd8e0a3decd2db32b76ea51513876914e/lib/src/language.c#L46C5-L46C40) fails whenever telescope asks nvim-treesitter to preview this file: https://codeberg.org/foxy/extracting-programs-from-proofs/src/commit/b6fc6b8aa354ba169ba3d623aa98ccbb1162b3ef/Verona2024/Basics/Negation.agda and neovim itself crashes. Whenever I am directly opening the file, this failure is apparently handled more gracefully,...
I am having trouble building the latest version (5.0.18.4) via cabal. ``` [28 of 28] Compiling Hoogle ( src/Hoogle.hs, dist/build/Hoogle.o, dist/build/Hoogle.dyn_o ) In file included from cbits/text_search.c:2:0: error: /usr/include/fortify/string.h: In...
The default NVIM greeter ("Nvim is open source and freely distributable. [...] Help poor children in Uganda!") appears to be an editable buffer that is emptied as soon as something...
While I am able to use ```bash cabal install --overwrite-policy=always Agda cabal install --overwrite-policy=always agda-language-server ``` when running ```bash cabal install --overwrite-policy=always Agda agda-language-server ``` I get ``` Resolving dependencies......
I get the error message ``` Missing required parameter: client_id. ``` on my Mastodon instance when trying to connect my liberapay account to my Mastodon one (`@[email protected]`). When returning back...
The [section on featured hashtags](https://docs.joinmastodon.org/user/discoverability/#featured-tags) does not mention some caveats that I got to know of only from my instance's admin: 