Nicolas Alexander Schmidt

@edwinb I'd like to start contributing to Idris 2 and I find this issue interesting. Could you give me a hint on where to start?

@ohad @melted Thanks for your help!

> I'd like to add, based on having spent several days trying to nail down similar problems in Agda: > > 1. Denotational equality on floating-point numbers should be implemented...

> @mr-infty Sure, but whether or not the equality `x ≡ (x * x) ÷ x` holds for a specific floating-point number depends on the size of the number, the...

> To me it feels like the ideal solution would be: > > * removed the DecEq instance for doubles > * Add a custom error message for trying to...

I am experiencing the same problem (affinity version 3.23.3), i.e. I get the same error message. I have also checked manually using the task manager, and it shows that the...

Sorry, my bad: I failed to distinguish between processes and threads. Indeed, the affinity of my process is not changed by .acquireCore(); however, the thread's one is (probably), at least...

I see @yevgenp. However, you could still just check the return value.

Actually, it does not. The full quote is this (bold face is mine): > **If** you instead wrote the list in Markdown like this: > > 1. Bird > 1....

Please let us focus on the orginal issue, which is this. **According to the rules of your linting marker, lists are not be be inlined. The original Markdown specification by...