2 kyu

Heterogeneous Equality on sized vectors

11100% of 67lwoo1999
Discourse (5)
  • |
  • Share this kata:
Loading description...
Dynamic Arrays
Functional Programming
Declarative Programming
Theorem Proving

These users have contributed to this kata:

  • 25923970?v=4
  • 16398479?v=3
  • 3424317?v=3

Similar Kata:

Status:Waiting for issues to be resolved
Estimated Rank:
4 kyu
1075% of 2494Jotha
21100% of 24Firefly2002
Status:Testing & feedback needed
Estimated Rank:
5 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


CreatedMar 12, 2019
PublishedMar 12, 2019
Warriors Trained24
Total Skips0
Total Code Submissions16
Total Times Completed7
Agda Completions7
Total Stars1
% of votes with a positive feedback rating100% of 6
Total "Very Satisfied" Votes6
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
2 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
4 kyu