I think it's probably both - this is the longest I've been without "work" for a long time, but this is pretty much how self-directed plans and projects have always gone.
Ah well, I had a blast learning about proof assistants, inductive proofs and idris.