-
Notifications
You must be signed in to change notification settings - Fork 221
Agda Kata that require rank adjustment
Donald Sebastian Leung edited this page Jun 15, 2020
·
16 revisions
See also: Codewars/codewars.com#2030
N/A means that the Codewarrior has not solved the Kata yet and is therefore unable to suggest a suitable ranking.
| Kata | Current Rank | @donaldsebleung | @ice1000 | @monadius | Re-ranked? (Y/N) | Additional Notes |
|---|---|---|---|---|---|---|
| OddsAndEvens: Multiplication | 5 kyu |
7 kyu |
7 kyu |
7 kyu |
Y | |
| OddsAndEvens: Addition | 5 kyu |
7 kyu |
7 kyu |
7 kyu |
Y | |
| Pattern in the mirror and bisimulation for real | 3 kyu |
6 kyu |
6 kyu |
6 kyu |
Y | Re-ranked at 5 kyu
|
| List concatenation is injective? Prove it! | 1 kyu |
6 kyu |
5 kyu |
6 kyu |
Y | Re-ranked at 5 kyu
|
| Heterogenous Equality on sized vectors | 2 kyu |
6 kyu |
6 kyu |
6 kyu |
Y | Re-ranked at 5 kyu
|
| I'm now 360 degree different from the past | 4 kyu |
7 kyu |
7 kyu |
7 kyu |
Y | Re-ranked at 6 kyu
|
| Typeclass is garbage | 2 kyu |
N/A | 6 kyu |
N |