Rudolf Adamkovič Personal site


Total exercise days

… is the total count of exercise days

\[\begin{equation*}
  \sum_{d \in D} 1 = |D| = \boxed{622} ~ \text{days} \thinspace,
\end{equation*}
\]

computed by

(defun my-total-exercise-days ()
  (hash-table-count (my-exercise-log)))

© 2024 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and the secret alien technologies of yesteryear.