Leaderboards · Idris

Rank Programmer Hours Coded Daily Average Languages Used
1 Hasan Mahmud 3 hrs 41 mins 1 hr 13 mins Idris, Haskell, TeX, Bash