On Monday 23 August 2004 11:23 am, Gavin Sinclair wrote:
> Yes, it would.  Could you email it to me?
> I think the following is adequate:
>
>   require 'succ/nil'                # whatever methods are in here
>
> or
>
>   require 'succ/nil/as_emptiness'   # which loads 'succ/nil' as well

Nice! I'll organize them per the above and then send.

-- 
T.