5 kyu

List concatenation is injective? Prove it!

8295% of 2234 of 51lwoo1999
Loading description...
Puzzles
Algorithms
Mathematics
Numbers
Lists
Data Structures
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Status:Testing & feedback needed
Estimated Rank:
6 kyu
Status:Testing & feedback needed
Estimated Rank:
3 kyu

Other Kata Authored By lwoo1999:

31100% of 12lwoo1999
Status:Testing & feedback needed
Estimated Rank:
3 kyu
43100% of 610lwoo1999
Status:Awaiting approval
Estimated Rank:
4 kyu

Stats:

CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained217
Total Skips12
Total Code Submissions85
Total Times Completed51
Agda Completions34
Idris Completions19
Total Stars8
% of votes with a positive feedback rating95% of 22
Total "Very Satisfied" Votes20
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments8
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu