Keags

> Consider the convention where the brackets are on separate lines. I have never seen such a convention in the ML family of languages. So this would require retraining people's...

> in which case it's about as difficult to handle as indentation protocols. For sure. I'm not actually claiming it is a big issue. I was mostly responding to the...

Given that it seems this was an issue in the nix repo, maybe it is worth revisiting whether this is still an issue over a year later.

Is this dead? Should I revive the effort in a different PR?

#2427 completed Data.Buffer and System.Directory. Let's check those off :)

It appears as though readFilePage is several levels above platform specific code. This suggests that the bug is an issue with `idris2_readLine/idris2_seekLine/idris2_eof` which is several layers down the call stack...

If I'm understanding this ask correctly, you want idris2 to accept `--whole-program` at the CLI and have that take precedence over conflicting settings in the ipkg file?

Is the idea here to replace the DList encoding with some sort dual list encoding where we reverse one and stitch them together, or is this no longer needed?

This looks like it is due to Monoid being reexported from base. If you are on the most recent version of foundation, it will use [email protected] which generalized the Maybe...

Looks like this issue is marked as help wanted. I would love to help, just want to know a little bit more about the issue. Here's what I understand the...