Leaderboards · Idris

Rank Programmer Hours Coded Daily Average Languages Used
1 Eric B 9 mins 2 mins Literate Idris, Haskell, Erlang, TeX, Clojure, Makefile, Markdown, LFE, Nix, …