Merge commit 'erg/master'

db4
Slava Pestov 2008-01-13 17:07:12 -05:00
commit 4a350d1ccb
1 changed files with 1 additions and 1 deletions

View File

@ -59,7 +59,7 @@ IN: sequences.lib
] { } make ; ] { } make ;
: singleton? ( seq -- ? ) : singleton? ( seq -- ? )
length 1 = ; foldable length 1 = ;
: delete-random ( seq -- value ) : delete-random ( seq -- value )
[ length random ] keep [ nth ] 2keep delete-nth ; [ length random ] keep [ nth ] 2keep delete-nth ;