David Peter
David Peter
This looks great, thank you very much! Sorry for taking such a long time to review this. @sharifhsn Only if you are interested: do you have any thoughts on this...
Thank you very much, both of you. @wpcwzy would you mind fixing the merge conflicts here?
Sorry for the late reply. Let's merge this as-is, and add the `--output-code` option (or whatever we choose) later.
I'd be open for adding dedicated environment variables for some settings. Which settings do you have in mind?
It seems to work fine for me? 
Thank you for the explanation! Adding another fallback would probably mean we would have to load an additional font from https://fonts.google.com/?
I think you need to `use units::hartree`. We should document that better and potentially change it.
Let's leave it open
> This could easily be done I think, but I'm unsure if it should be part of the prelude. I fully agree. We have user-customizable units in Numbat such that...