> Antony Bartlett <[email protected]> wrote: > I have succeeded in my goal of making checkmm.cpp faster than checkmm.ts.
Congrats! Added speed is always nice, and it takes work to improve performance. --- 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 visit https://groups.google.com/d/msgid/metamath/0B72E216-2ACE-490B-AA42-FC349803D48A%40dwheeler.com.
