Correction

Brent L Kerby — 2002-03-31 04:21:48

> Well, it's true that "[]" is neccessary in order to form all combinators using

> "cons" and "dip". 



 
That should say, "[]" is neccessary in order to form all linear combinators

using "cons" and "dipi", I meant.



- Brent

Brent L Kerby — 2002-04-03 06:33:24

> "bury5" can be constructed as

> 

>   bury5 == reverse5 reverse4



 
This should be 



bury5 == reverse6 reverse5



(as it was defined earlier, and as it makes most sense to define it, bury5

buries an item under 5 items; thus there are six total items involved)



 >   dig5 == reverse4 reverse5



 
This of course should be



dig5 == reverse5 reverse6



- Brent

Brent L Kerby — 2002-04-03 07:10:28

> "bury5" can be constructed as

> 

>   bury5 == reverse5 reverse4



 
This should be 



bury5 == reverse6 reverse5



(as it was defined earlier, and as it makes most sense to define it, bury5

buries an item under 5 items; thus there are six total items involved)



 >   dig5 == reverse4 reverse5



 
This of course should be



dig5 == reverse5 reverse6



- Brent

Brent L Kerby — 2002-04-03 07:10:54

> "bury5" can be constructed as

> 

>   bury5 == reverse5 reverse4



 
This should be 



bury5 == reverse6 reverse5



(as it was defined earlier, and as it makes most sense to define it, bury5

buries an item under 5 items; thus there are six total items involved)



 >   dig5 == reverse4 reverse5



 
This of course should be



dig5 == reverse5 reverse6



- Brent

Brent L Kerby — 2002-04-03 07:11:27

> "bury5" can be constructed as

> 

>   bury5 == reverse5 reverse4



 
This should be 



bury5 == reverse6 reverse5



(as it was defined earlier, and as it makes most sense to define it, bury5

buries an item under 5 items; thus there are six total items involved)



 >   dig5 == reverse4 reverse5



 
This of course should be



dig5 == reverse5 reverse6



- Brent

Brent L Kerby — 2002-04-03 07:12:11

> "bury5" can be constructed as

> 

>   bury5 == reverse5 reverse4



 
This should be 



bury5 == reverse6 reverse5



(as it was defined earlier, and as it makes most sense to define it, bury5

buries an item under 5 items; thus there are six total items involved)



 >   dig5 == reverse4 reverse5



 
This of course should be



dig5 == reverse5 reverse6



- Brent