alf » from archive
RT @belyaev_andrey: Using mathematical induction to prove List class definition correctness - very cool. #progfun