1 kyu

List concatenation is injective? Prove it!

41100% of 912 of 17lwoo1999
Details
Solutions
Discourse (12)
  • |
  • Share this kata:
Loading description...
Puzzles
Algorithms
Mathematics
Numbers
Lists
Data Structures
Theorem Proving

These users have contributed to this kata:

  • 25923970?v=4
  • 16398479?v=3
  • 7777884?v=3
  • Profile pic

Similar Kata:

3058% of 68alexpop
Status:Testing & feedback needed
Estimated Rank:
6 kyu
Status:Testing & feedback needed
Estimated Rank:
8 kyu

Other Kata Authored By lwoo1999:

00100% of 13lwoo1999
Status:Testing & feedback needed
Estimated Rank:
4 kyu
10100% of 13lwoo1999
Status:Testing & feedback needed
Estimated Rank:
1 kyu

Stats:

CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained78
Total Skips4
Total Code Submissions30
Total Times Completed17
Agda Completions12
Idris Completions7
Total Stars4
% of votes with a positive feedback rating100% of 9
Total "Very Satisfied" Votes9
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
1 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
1 kyu