-
Notifications
You must be signed in to change notification settings - Fork 222
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 | @dramforever | @Bubbler-4 | @Voileexperiments | 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 |
N | ||||
| 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 |
N | ||||
| Typeclass is garbage | 2 kyu |
N/A | 6 kyu |
N |