piantado/LOTlib — pull request #16 by sa- (2014-08-29 19:50:28+00:00)
Title: Number Tutorial

LOTlib/Examples/Tutorial/number.py contains our best attempt.