5 kyu

List concatenation is injective? Prove it!

8497% of 1927 of 42lwoo1999
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:

33100% of 12lwoo1999
Status:Testing & feedback needed
Estimated Rank:
3 kyu
33100% of 47lwoo1999
Status:Awaiting moderator approval
Estimated Rank:
4 kyu

Stats:

CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained180
Total Skips12
Total Code Submissions71
Total Times Completed42
Agda Completions27
Idris Completions17
Total Stars8
% of votes with a positive feedback rating97% of 19
Total "Very Satisfied" Votes18
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments8
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu