David Peter
David Peter
`/` and `?` commands for forwards/backwards search n and N for forwards/backwards jumping through results.
It's probably better if the depth sorting does not operate on `Shape`s, but on single `Face`s.
For example: ``` Pa · m² -> N J/s -> W ``` Idea: only apply simplifications that minimize the sum of the absolute value of all unit exponents.
see #91 This PR makes changes to Numbats `prelude` to treat angles as dimensionful quantities. `Angle` becomes a new base dimension. And `radian` is the base unit in that dimension....
``` >>> fn f(y: T, x: T) = atan2(y, x) error: while type checking ┌─ :1:23 │ 1 │ fn f(y: T, x: T) = atan2(y, x) │ ^^^^^ …...
`3 meter + 0` should work. Similarly: something like `hypot(2m, 0)` should work.
https://crates.io/crates/rug (LGPL! Possible to compile to WASM?) Simply use f64 or something like f128? => we could put numeric values on the stack
When using `Mib` instead of `MiB`, a user will get something like ``` >>> Mib error: while type checking ┌─ :1:1 │ 1 │ Mib │ ^^^ unknown identifier │...
Basic math - [ ] erf - [ ] erfc (complementary error function 1 - erf, useful for better accuracy) - [ ] beta function - [ ] zeta function?...