[TUHS] Qed vs ed

[Jaap Akkerhuis]

> On Jan 31, 2021, at 9:29, Rob Pike <robpike at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://minnie.tuhs.org/pipermail/tuhs/attachments/20210131/bb5da0bc/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 267 bytes
Desc: Message signed with OpenPGP
URL: <http://minnie.tuhs.org/pipermail/tuhs/attachments/20210131/bb5da0bc/attachment.sig>