Personal website Rudolf Adamkovič

Home / Personal / Exercise log


Total exercise days

… is the total count of exercise days

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

computed by

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

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