CodingCellist

Closing this as there seems to be opposition to #2992 , and all I mostly cared about was `:doc` support. If we discover that we absolutely _need_ the keywords to...

Given that this was labelled `abandoned` ~2 months ago and no work or complaints have arisen, including during the IDM in early December 2022, I'm closing this. If it is...

Right, with that I think this is good to go. There's a target for `linear`, which is something we want to let people experiment with, and if people want to...

Given that this was labelled `abandoned` ~2 months ago and no work or complaints have arisen, including during the IDM in early December 2022, I'm closing this. If it is...

Given that this was labelled `abandoned` ~2 months ago and no work or complaints have arisen, including during the IDM in early December 2022, I'm closing this. If it is...

@emdash @buzden, thank you both for looking this over! I think I've incorporated the feedback, let me know what yous think (after the holidays if you're away; please don't take...

Is this related to #2791 ? : )

I would _love_ to work on this over the week. @gallais, mind if I make this my IDM project for the week? : D

I suspect this is to do with the `1`-literal being considered an `Integer` by default in Idris, whereas the `1.0`-literal is clearly a `Double`. However, I'm not sure if this...

6GB _should_ be just enough, but obviously if you're seeing it be killed, that's a problem. What system are you trying to do this on? Apple Silicon? x86_64? ARM? And...