12 lines
286 B
Text
12 lines
286 B
Text
#import std
|
|
#import nat
|
|
|
|
hail = @iNC ~&h~=1->x ^C\~& @h ~&h?\~&t successor+ sum@iNiCX
|
|
|
|
#show+
|
|
|
|
main =
|
|
|
|
<
|
|
^T(@ixX take/$4; %nLP~~lrxPX; ^|TL/~& :/'...',' has length '--@h+ %nP+ length) hail 27,
|
|
^|TL(~&,:/' has sequence length ') %nP~~ nleq$^&r ^(~&,length+ hail)* nrange/1 100000>
|