5 kyu

Heterogeneous Equality on sized vectors

3494% of 825lwoo1999
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
0164% of 79stellartux
Status:Testing & feedback needed
Estimated Rank:
6 kyu
3086% of 88236kodejuice

Other Kata Authored By lwoo1999:

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


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained102
Total Skips8
Total Code Submissions35
Total Times Completed25
Agda Completions25
Total Stars3
% 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