Rework README
mkroening opened this issue · comments
The README is partly outdated and can be streamlined.
Do I fix it with #330 ?
I think the problem was mostly solved by #301. But let's talk about the README together before closing this issue.
A lot of this was done in #380.