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 ____________________ Racket Users list: http://lists.racket-lang.org/users
