From: adam Date: Mon, 25 Jun 2007 05:12:33 +0000 (+0000) Subject: checkpoint X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=commitdiff_plain;h=77cbfc0e93ec5db4f7dc39c01b8327fec7dd53c4;hp=77cbfc0e93ec5db4f7dc39c01b8327fec7dd53c4 checkpoint darcs-hash:20070625051233-5007d-64b9240079af604f99477226dd95679707239b35.gz ---