scarf

@Secret-Cisco, sorry for leaving the PR open for so long. I mostly agree with BFN [that it'd be preferable to keep this mod as 3rd-party (not mainline) and fix the...

thanks for the context. in an ideal solution, would it mean small electronics like phones or mp3 still use UPS but would only charge from recharger (thus not drain from...

I tried the [above comment's solution](https://github.com/cdepillabout/pretty-simple/issues/108#issuecomment-1092608377) and set up `~/.ghci` to this: ```hs import Text.Pretty.Simple ghciInteractivePrint = pPrintOpt CheckColorTty defaultOutputOptionsDarkBg{outputOptionsCompact = True} :set -interactive-print ghciInteractivePrint ```  however it doesn't...

I suggest to re-open the issue, as this issue still persists: ``` (100 more above) ~/.config/fish/completions/poetry.fish (line 223): complete -c poetry -A -n '__fish_seen_subcommand_from 'source add'' -l default -d 'Set...

> This can be easily fixed by adding maleclypse and candlebury as coauthors to any commit moving AFS content. > > Again anything staying in AFS doesn't need anything changed...

would it be possible for idris2 to also include filename and line range in metadata when generating documentation? then katla could figure out which code to highlight such as `{FILENAME}.html#line{A}-line{B}`

hi, I'm working on `assert`, before working on #3771.

i think scopeRrgexes could work

> Can you please provide some use cases? they're used often when implementing bimap (data needs to be indexed from both sides) also existing usages: https://github.com/search?q=_.invert+language%3ATypeScript+&type=code&p=1

thanks for the context. should I open a draft PR, just in case?