The source code for The Computable Reals (beta) is embedded,
in JavaScript. Just do a view-source or save-as.
For more details, please refer to the discussion at:
http://groups.google.co.uk/group/sci.logic/msg/09baab547e5d4422
Last updated: 2008-09-10 15:30 GMT+00