Name:Unknown
Clan:Unknown
Member Since:Mar 2019
Last Seen:Nov 2022
Profiles:
Following:10
Followers:0
Allies:0
Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
nice kata
— andrei-bolkonsky
Thank you.
can we take for granted from (Ord a) that the right part of the function only calls on smaller values?
just some easy Yoneda stuff, and nothing complicated.
winking
oops forgot to delete redundant importations
"The restriction is that the characters in part1 and part2 are in the same order as in s."
Guess there's some ambiguity here. I didn't realize this was given. Instead I thought I had to check it also.
pretty smart how the last line takes care of all cases with one of them being [].
took me several lines