Felix Cherubini

Ok, then - looks like everything is resolved -> merging.

This will be incompatible with the --safe mode of agda 2.6.3 -> I will move this stuff to https://github.com/felixwellen/synthetic-geometry

Done: https://github.com/felixwellen/synthetic-geometry/pull/23 -> Closing

Is this still a thing? If so, let me link #948, since there, axel filled in some metas to make CupTensorProduct check with 2.6.3.

@ecavallo @mortberg does anyone have any idea why the CI is not running? Might be because @stschaef is first-time contributor, but usually there appears some button to run the CI...

I have no opinion on the names so far. If you can do that git-wise, it would be great if you split the PR up by topics - I think...

If it is easy for you to split it into multiple PRs by topic, that would be great.

> This would be nice if I could easily control how many cores to use (I only have 8GB of RAM on my old laptop and don't like to run...

> Another feature request I have wrt the build system is to be able to just check a single package instead of the whole library, for example if I'm working...

... assuming you want to know, if your changes really only affect the package you are working on.