Re: Have you all gone crazy? Was: On being web-friendly and why info must die

[Phillip Lord]

Stefan Monnier <address@hidden> writes:

>> Just what I needed.  An Emacs that will formally prove to me that
>> redisplay has finished.
>
> Better yet: a machine-checked proof that the redisplay will
> always terminate.

That would be nice.

>
> Finally, an end to all those "I waited a year and redisplay still isn't
> done" bug reports,

Sadly this requires proof checkers that can distinguish between "will
terminate" and "will terminate within the known life-time of the
universe". That's a research problem I fear.

Phil