Leaderboards · Idris

Rank Programmer Hours Coded Daily Average Languages Used
1 Ron Wolf 49 mins 12 mins Haskell, Idris, Literate Haskell