Leaderboards · Idris

Rank Programmer Hours Coded Daily Average Languages Used
1 @vyorkin 1 hr 41 mins 14 mins Haskell, Elixir, Idris, JavaScript, Bash, CSS, SCSS, HTML, Gettext Catalog, …