Home / Personal / Exercise log
Total exercise days
… is the total count of exercise days
\begin{equation*}
\sum_{d \in D} 1 = |D| = \boxed{MY-TOTAL-EXERCISE-DAYS} ~ \text{days} \thinspace,
\end{equation*}
computed by
(defun my-total-exercise-days ()
(hash-table-count (my-exercise-log)))