For awhile the thing currently called (*s7* 'cpu-time) was returning the wall clock time by accident. I think the r7rs.scm functions should be:
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
