Here’s a runnable version of this book https://nextjournal.com/try/plfa/Naturals