Cass Alexandru
Cass Alexandru
@sboehler You recommend setting dirlocals yet in your repository you have since removed them. What is the way you currently deal with multiple targets? Do you have any recommendations?
`TypesAsCategory` doesn't compile w/ Idris2 and since I'm quite new to Idris, and can't conclude this from the error messages, I wanted to ask if this might be only a...
> `TypesAsCategory` doesn't compile w/ Idris2 and since I'm quite new to Idris, and can't conclude this from the error messages, I wanted to ask if this might be only...
It turned out to be a bug in Idris2: https://github.com/idris-lang/Idris2/issues/1370
Pinging this issue as `org-mode` supports this directly in the link dialog (`markdown-mode` seems suggests only _files_, not directories in pwd)
I use the [neo layout](https://neo-layout.org/) and layer 4 (the navigation layer) uses modifiers to input arrow keys, return, backspace, delete and home/end. I use the following `xkb_keymap` file to clear...
@stschaef yes, looks good. Ideally of course one would keep the flake lock file in lockstep with the versions depended on by CI. Iirc you actually also depend on a...