nyquist-users

[Roger B. D. <rb...@cs...>]

Wonderful idea! I'll put in either a global (*maximum-table-size*) or a =
call
(SET-MAXIMUM-TABLE-SIZE n) to let users override the default, and I'll =
leave
the default at 100,000.  -Roger