Transfer to content-issues repository

hobovsky committed Jan 23, 2021

Transfer to content-issues repository

hobovsky committed Jan 23, 2021

Updated Agda Kata that require rank adjustment (markdown)

monadius committed Dec 25, 2020

Updated Agda Kata that require rank adjustment (markdown)

monadius committed Dec 25, 2020

Updated Agda Kata that require rank adjustment (markdown)

Donald Sebastian Leung committed Jun 19, 2020

Updated Agda Kata that require rank adjustment (markdown)

Donald Sebastian Leung committed Jun 17, 2020

Updated Agda Kata that require rank adjustment (markdown)

Donald Sebastian Leung committed Jun 15, 2020

Updated Agda Kata that require rank adjustment (markdown)

Donald Sebastian Leung committed Jun 15, 2020

Updated Agda Kata that require rank adjustment (markdown)

Donald Sebastian Leung committed Jun 15, 2020

Successfully re-rank the first two

Donald Sebastian Leung committed May 18, 2020

Updated Agda Kata that require rank adjustment (markdown)

Donald Sebastian Leung committed May 8, 2020

Updated Agda Kata that require rank adjustment (markdown)

monadius committed May 5, 2020

Updated Agda Kata that require rank adjustment (markdown)

monadius committed May 5, 2020

Reference related issue and add @dramforever

Donald Sebastian Leung committed May 5, 2020

Add @ice1000 's suggested rankings based on https://github.com/codewars/codewars.com/issues/2030#issuecomment-623062081

Donald Sebastian Leung committed May 3, 2020

Create Kata QA page for Agda Kata that require rank adjustment

Donald Sebastian Leung committed May 3, 2020