United States Literate Agda Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Jason Gross	15 mins	2 mins	TeX, Image (svg), Markdown, Literate Agda, Agda, HTML		🇺🇸