7 kyu

Show that there are two types that are unequal

56 of 131kckennylau

Description:

Loading description...
Fundamentals

More By Author:

Check out these other kata created by kckennylau

Stats:

CreatedApr 10, 2020
PublishedApr 10, 2020
Warriors Trained372
Total Skips21
Total Code Submissions274
Total Times Completed131
Lean Completions56
Coq Completions59
Agda Completions25
Total Stars6
% of votes with a positive feedback rating89% of 19
Total "Very Satisfied" Votes16
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes1
Total Rank Assessments7
Average Assessed Rank
7 kyu
Highest Assessed Rank
6 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • kckennylau Avatar
  • donaldsebleung Avatar
  • monadius Avatar
Ad