David Peter

This is a highly non-trivial problem, so I'm collecting a few resources: * https://ecommons.cornell.edu/server/api/core/bitstreams/1f5f5381-1004-4756-adb0-dfb2bf509163/content * Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference, https://arxiv.org/abs/2402.12637 *...

Thank you for the feedback! > Please consider adding json support to pass input to numbat structs. Presently I need to hard code data in numbat structs and that quickly...

That last example you gave is problematic. `mg/L` and `µg/L` are both of type `MassDensity = Mass/Length³`. But `ppb` is a a scalar unit (a number). We don't have sum...

If there is a reliable, free API that we can use, I'm all for adding support for more currencies. Last time I checked, I didn't find anything except for the...

Thank you for doing the research. > The one with most currencies (766!) is the creatively named one "Currency-API". However, looking at it, it seems like it's just some guy™...

> This is the only problem I have now with Numbat. I'm using it for everything, and it's just awesome. Thank you for the feedback! > I found this feed:...

Thank you for writing this down. I think this is a really interesting feature! I have thought about it in the past — but in a slightly different way. I...

> Any unit can have any alphanumeric annotation added to it, no need to define beforehand. These don't affect the behavior of the unit in any specific way. (I'm not...

> I never knew about the \alpha + TAB to get α, etc. feature in the CLI before reading an issue that mentioned it, shouldn't this be documented somewhere? Yes,...

> it would be a lot more ergonomic if an expression like `x (y+2)`, for `x` and `y` both scalar constants, was simply evaluated using implicit multiplication once it became...