-
Notifications
You must be signed in to change notification settings - Fork 222
Agda Kata that require rank adjustment
Donald Sebastian Leung edited this page May 3, 2020
·
16 revisions
| Kata | Current Rank | @donaldsebleung | @ice1000 | @monadius | @Bubbler-4 | @Voileexperiments | Re-ranked? (Y/N) | Additional Notes |
|---|---|---|---|---|---|---|---|---|
| OddsAndEvens: Multiplication | 5 kyu |
7 kyu |
N | |||||
| OddsAndEvens: Addition | 5 kyu |
7 kyu |
N | |||||
| Pattern in the mirror and bisimulation for real | 3 kyu |
6 kyu |
N | |||||
| List concatenation is injective? Prove it! | 1 kyu |
5 kyu |
N | |||||
| Heterogenous Equality on sized vectors | 2 kyu |
6 kyu |
N | |||||
| I'm now 360 degree different from the past | 4 kyu |
7 kyu |
N |