5 kyu

List concatenation is injective? Prove it!

46 of 65lwoo1999

Description:

Loading description...
Algorithms
Mathematics
Lists
Theorem Proving
Puzzles

More By Author:

Check out these other kata created by lwoo1999

Stats:

CreatedMar 11, 2019
PublishedMar 11, 2019
Warriors Trained247
Total Skips13
Total Code Submissions110
Total Times Completed65
Agda Completions46
Idris Completions22
Total Stars10
% of votes with a positive feedback rating94% of 25
Total "Very Satisfied" Votes22
Total "Somewhat Satisfied" Votes3
Total "Not Satisfied" Votes0
Total Rank Assessments8
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • lwoo1999 Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • ice1000 Avatar
  • monadius Avatar
Ad