On Tue, Aug 26, 2025 at 12:11:31AM -0700, Brian E. Lavender wrote:
> > Perhaps you can track down Tony Hoare?
> > https://en.wikipedia.org/wiki/Tony_Hoare
>
> This for some reason made me think of the pumping lemma proof for
> regular languages. I remember sweating over the details of this proof
> while taking computing theory.
>
> https://www2.lawrence.edu/fast/GREGGJ/CMSC515/chapt01/Pumping.html

Oof, lisp flashbacks.

-bill!
_______________________________________________
Lug-nuts mailing list -- lug-nuts@bigbrie.com
To unsubscribe send an email to lug-nuts-leave@bigbrie.com