Luc Chabassier
Luc Chabassier
Having a clear password anywhere bothers me a bit, whether it is in a environment variable or in a file. Many software allows to provide the password already hashed with...
I am actually writing by hand an induction hypothesis for some type with around 20 constructors. When writing the computation rules for this predicate, there is a lot of repetitions...
While working on https://github.com/dwarfmaster/ett-in-lambdapi/blob/recursive-let/ETT/rr.lp, I got strange unification errors, and sometimes lambdapi would not terminate even after consuming all my RAM. It turns out this was linked to my extensive...
When running `idris --build idris-ct.ipkg` (or `idris --checkpkg idris-ct.pkg`), the build fails on `CoLimits/CoProduct.lidr` with the following error : ``` Entering directory `./src' Type checking ./CoLimits/CoProduct.lidr ./CoLimits/CoProduct.lidr:83:5-97:48: | 83 |...
Implement the new syntax for pragmas and assertions as discussed.
There should be a way to set config specific to certain filetypes using `ftplugin` files, for both performance and convenience. For examples for setting mappings that are only relevant on...
Mostly happen when extracting an attachment with a quote in its name. An error is printed but the attachment is extracted, because the error happen when printing its name.
I have cursorline enabled all the time when I edit text files, but since the syntax file override the definition of CursorLine, I end up with a line reversed, making...
### Description When adding two sidenotes too close to each other, kaobook manages to place them so that they avoid each other. However, if they are placed inside a definition,...
When sharing nix modules between different systems, some that have an impermanence setup and others that don't, it would be useful to be able to easily enable/disable persistence without having...