chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0a2d76) | patch
geometry: Promote PosPromote to a trait
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 21:15:57 +0000 (22:15 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Apr 2021 21:15:57 +0000 (22:15 +0100)
commitb724ba6eacec78b0caa80a7730752b7158742472
tree6958bee8c154d6f57ee2493a71581c99fa015816tree | snapshot
parentf0a2d76c305af72a0f017bc012026857cc1661fdcommit | diff
geometry: Promote PosPromote to a trait

And provide for f64

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
base/geometry.rs diff | blob | history
base/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.