Quote:
Originally Posted by 1time
Maybe someone should add this to HOL?
|
That could be done.
However I think that:
1) It is best to wait a bit to see if there are more to add
2) Then when there is a more or less exhaustive list, it would be very useful to have some volunteers to check if the effects listed are correct.
Not that I don't trust everything podted here, but unless there is an official description of how the extra RAM is used, I think it is best if everything was double checked (everyone can remember things incorrectly, make legitimate mistakes etc...)