>On Wed, Jan 8, 2020 at 11:02 AM David A. Wheeler ><[email protected]> >wrote: >> Mario: are you willing?
>Absolutely. Great! Sounds like a plan. I will probably need to redo the tutorial after we fix things up. >By the way, I don't know if this is deliberate, but you stuck pretty >close >to the tutorial text, which made it a bit staid. 100% intentional. It's a lot of extra work to come up with my own script. Simply reading the text is pretty justifiable since I'm basically just going through the tutorial. It also means that if someone has trouble understanding something I say they can look at the text posted. I did exactly that in the video to create a function in mmj2, and while I think that was quite successful, it was also a lot of work. --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/392BF2A2-2002-466A-8071-163FB6CA5B31%40dwheeler.com.
