Leaderboards · Idris

Rank Programmer Hours Coded Daily Average Languages Used
1 Handemelindo 2 mins 0 secs Scala, Java, Idris, Markdown