[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] Errors recovery
On Tue, Feb 10, 2004 at 10:30:14AM +0100, Andrzej Trybulec wrote:
> Piotr Rudnicki wrote:
>
> > They also get a piece of advice: you may deal with more errors if you know what
> > you are doing. And they stick with one.
>
> If you encourage students to be lazy, what the poor guys should do?
They are lazy and everything gets done faster. What is wrong with it?
I have decided not to participate in the "error recovery" discussion anymore.
I have done a fair share of running in circles in 1978 when I entered a track
and field stadium and got walking in circles on the track for quite a while.
In case you are wondering, I was not quite sober at the time.
Best,
--
Piotr Rudnicki CompSci, University of Alberta, Edmonton, Canada
http://web.cs.ualberta.ca/~piotr