diff learner.py @ 227:17c5d080964b

reinstating changeset 216 clobbered accidentally by 218
author James Bergstra <bergstrj@iro.umontreal.ca>
date Tue, 27 May 2008 13:23:05 -0400
parents bd728c83faff
children 14b9779622f9
line wrap: on
line diff