The set of software metrics introduced by Maurice H. Halstead in the 1970s has seen much scrutiny and not infrequent criticism. This article takes a fresh look at these metrics using quantity calculus (the algebra of units) and a new approach to dimensionless units. In this way, it is possible to assign units to the major Halstead metrics in a manner that is logically consistent. However, Halstead's repurposing of counts of software attributes as counts of unobservable mental events leads to a less plausible, more confusing set of metrics for coding eort than for software attributes. Recently, this computer scientist revisited Halstead's metrics with the goal of identifying the dimensions or units of each defned quantity using the interpretation of dimensionless units appearing in Ref. [3]. The exercise proved to be unexpectedly fruitful. Once counting units have been assigned to the input quantities, the units of the derived quantities are unambiguously determined. The result could be described as a