|
| From: | Óscar Fuentes |
| Subject: | Re: Have you all gone crazy? Was: On being web-friendly and why info must die |
| Date: | Wed, 17 Dec 2014 23:43:50 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
Stefan Monnier <address@hidden> writes: > Better yet: a machine-checked proof that the redisplay will > always terminate. > > Finally, an end to all those "I waited a year and redisplay still isn't > done" bug reports, You are away from your proof assistant, aren't you?
| [Prev in Thread] | Current Thread | [Next in Thread] |