5 kyu

Heterogeneous Equality on sized vectors

2289% of 928lwoo1999
Loading description...
Dynamic Arrays
Functional Programming
Declarative Programming
Theorem Proving

These users have contributed to this kata:

Other Kata Authored By lwoo1999:

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


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained122
Total Skips9
Total Code Submissions39
Total Times Completed28
Agda Completions28
Total Stars2
% of votes with a positive feedback rating89% of 9
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
5 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu