tphols-2011/myhill.pdf
Wed, 09 Feb 2011 12:34:30 +0000 urbanc added Xingyuan's changes with the while combinator
Tue, 08 Feb 2011 16:49:18 +0000 urbanc more direct definitions
less more (0) -10 -2 tip