L lune.co Type safety, units and how (not) to crash the Mars Climate Orbiter 3 points rbruggem 5 years ago 1 comments