[racket] constructive stuff.

From: Hendrik Boom (hendrik at topoi.pooq.com)
Date: Thu Apr 17 17:30:27 EDT 2014

On Thu, Apr 17, 2014 at 05:06:42PM -0400, Hendrik Boom wrote:
> 
> I've placed a rudimentary explanation of this on my web page; see
> http://topoi.pooq.com/hendrik/howconstr.html and 
> http://topoi.pooq.com/hendrik/constructivism.html.

And I'd be happy to revise them if they're not clear, or complete, or 
misleading, or whatever.

-- hendrik

Posted on the users mailing list.