Norm wrote: > Lest it be forgotten, another experiment that shows explicit substitutions is > here:: > http://us.metamath.org/mpeuni/_mmbrows2p2e4.png > This was done by Paul Chapman around 2007 I think. > AFAIK this was just a proof of concept experiment, and he didn't publish the > program that generated it.
So long ago. The program was written for Smalltalk/V Win, and I’ve never been able to get this Smalltalk running under Windows 7. And the AMD chip that came with this computer won’t run XP under VirtualBox (this is a known problem, and was bad luck). Planning for my next PC to be Windows 10 on an Intel with virtualization. So you never know. I may be getting too old/lazy to code. Thirty years ago I’d’ve written a knockout replacement for mmj2. ;) Back to lurking. Cheers, Paul -- 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/65596EA3516E4BF4ACAF6EF1F8E2DCCD%40001PC.
