Leaderboard · Agda · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 1 min 0 secs Python, Coq, Literate Agda, Bash, Image (svg), YAML, Text, Markdown, TeX, … 🇺🇸