1. 14
    Units of Measure in Rust with Refinement Types plt rust yoric.github.io
    Screwtape avatar via Screwtape 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 1
      tekknolagi avatar tekknolagi 5 years ago

      It looks like some of the div functions should be mul in the Mul impls.