Hey, author here! Thank you for recommending my book. I am always happy when someone else finds my work useful :)
> Anyone know if there's a decent way to get a printed copy?
I decided to re-publish the book with Apress, and it should be ready for print by March this year.
> How is it better than tdd in Idris book?
I would not say it is better, or worse. I read TDD and it's a great book, but it was mostly focused on practical stuff (i.e. programming in Idris), and I found it lacking the theoretical explanations (for example, what proofs are and how to do a mathematical proof, or what is a type-checker and how to implement one) which I hoped to cover in my book.
You should try my (esoteric) programming language (theorem prover), Budge-TP :)
You might find useful my recent write-up about https://bor0.wordpress.com/2023/02/05/writing-your-third-pro...