F##king did it. 🤓🎉

Tomorrow I’ll see if it repeats.

3-4 months of back to basics thinking followed by some surprisingly smooth coding (only one structural update to the formal definitions and a couple of remarks).

Well happy.

Let’s see what tomorrow brings (hopefully it runs again 🤞🏼)

Now is 😎