1 kyu

List concatenation is injective? Prove it!

7397% of 1622 of 33lwoo1999
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:

22100% of 12lwoo1999
Status:Testing & feedback needed
Estimated Rank:
3 kyu
12100% of 35lwoo1999
Status:Ranking feedback needed
Estimated Rank:
4 kyu

Stats:

CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained139
Total Skips8
Total Code Submissions53
Total Times Completed33
Agda Completions22
Idris Completions13
Total Stars7
% of votes with a positive feedback rating97% of 16
Total "Very Satisfied" Votes15
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
1 kyu