5 kyu

Heterogeneous Equality on sized vectors

2294% of 826lwoo1999
Loading description...
Dynamic Arrays
Functional Programming
Declarative Programming
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Status:Waiting for issues to be resolved
Estimated Rank:
6 kyu
451792% of 104431Detry322
3087% of 99256kodejuice
0164% of 79stellartux
Status:Testing & feedback needed
Estimated Rank:
6 kyu

Other Kata Authored By lwoo1999:

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


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained109
Total Skips9
Total Code Submissions37
Total Times Completed26
Agda Completions26
Total Stars2
% of votes with a positive feedback rating94% of 8
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu