1 kyu

List concatenation is injective? Prove it!

11100% of 89 of 11lwoo1999
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 67alexpop
Status:Testing & feedback needed
Estimated Rank:
6 kyu
0079% of 24119wichu
Status:Testing & feedback needed
Estimated Rank:
7 kyu

Other Kata Authored By lwoo1999:

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

Stats:

CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained38
Total Skips2
Total Code Submissions19
Total Times Completed11
Agda Completions9
Idris Completions4
Total Stars1
% of votes with a positive feedback rating100% of 8
Total "Very Satisfied" Votes8
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