Rowan Goemans

The `doxygensynopsis` directive is different from what I wanted to achieve with https://github.com/michaeljones/breathe/issues/362. `doxygensynopsis` is cool when you for instance want to generate a list of all functions in a...

Yes that inline declaration should point to the full declaration in the API docs. It should also only render what I specify. So I could say render this class only...

Well the heading itself doesn't have to be a link. There could also be a link after it. But I don't mind it being blue. You can always customize this...

This doesn't solve the warnings. `no-link` controls whether a permalink is added to the declaration it has nothing to do with the declaration itself. What would work is adding the...

That's really unfortunate. This was an incredible plugin. I will check out the fork, thank you!

I personally would even think it's more confusing as a programmer learning Futhark. I'd rather see it being consistent and having the `in` everywhere. But that's just me. I'm not...

Your best bet is to make a PR of your changes to this repo that makes it easier to look at the diff and will (hopefully) be merged.

@rikardn would you have any clue/sources/papers on how to implement this? I want to try my hand at this :). I have looked at SMT solvers but they can't handle...

sympy `refine` also doesn't handle this. I also searched for literature before but couldn't find much. It mostly points to SMT solvers but since I want to support non-linearity and...

I mean I tried it with both `refine` and `piecewise` and it can't see it's a tautology: ``` from sympy import * from sympy.functions.elementary import piecewise a, b = symbols("a...