-
Notifications
You must be signed in to change notification settings - Fork 1
Agda Kata that require rank adjustment
Madjosz edited this page Nov 15, 2024
·
12 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 | @Kacarott | Re-ranked? (Y/N) | Additional Notes |
|---|---|---|---|---|---|---|---|
| String formatting, type-safely | 2 kyu |
N/A | N/A |
4 kyu (ShreckYe: 2 kyu) |
3 kyu |
N | |
| Modular operations on Finite data type | 1 kyu |
N/A | 4kyu |
4 kyu (ShreckYe: 3 kyu) |
4-5 kyu |
N | |
| I~ transport lemmas so right, proving the wrong thing | 3 kyu |
N/A | 6kyu |
6 kyu |
5 kyu |
N | |
| Just Be Injective | 2 kyu |
N/A | 7kyu |
5-6 kyu |
5-6 kyu |
N | |
| Left, left! Right, right! Comp! Symmetric! Q!E!D! | 1 kyu |
N/A | 4kyu |
4-5 kyu |
3 kyu |
N |
- Agda Kata that require rank adjustment
- List of Possible Duplicate Kata
- List of kata that are candidates to retirement
- List of Kata with font Tag in Description (possibly broken)
- Potentially Plagiarized Kata
- Tags and topics to assign to kata
- List of Agda Kata to Update
- List of C Kata to Update
- List of C++ Kata to Update
- List of COBOL Kata to Update
- List of Coq Kata to Update
- List of Crystal Kata to Update
- List of C# Kata to Update
- List of Dart Kata to Update
- List of Elixir Kata to Update
- List of Go Kata to Update
- List of Haskell Kata to Update
- List of Java Kata to Update
- List of JavaScript Kata to Update
- List of Kotlin Kata to Update
- List of Lean Kata to Update
- List of Nim Kata to Update
- List of PHP Kata to Update
- List of Python Kata to Update
- List of Racket Kata to Update
- List of Ruby Kata to Update
- List of Rust Kata to Update
- List of Scala Kata to Update
- List of Solidity Kata to Update
- List of Swift Kata to Update
- List of TypeScript Kata to Update