31 Jan
2021
31 Jan
'21
3:28 p.m.
On Jan 31, 2021, at 9:29, Rob Pike
<robpike(a)gmail.com> wrote:
I had a lot of fun hacking qed, mostly side-by-side with Tilbrook, who was its biggest
fan. He taught me a lot and I loved working with him.
Woking with David was great and always inspiring. I used to have an early version of his
QEF system which did QED on it. He never stopped tinkeing with that. Alas, the tape got
lost in one of my relocations.
jaap