| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @Darkflames
|
52 hrs 49 mins | 7 hrs 32 mins | Agda, Makefile, Git Config | ||
| 2 |
 Eduardo Rafael
|
14 mins | 2 mins | Markdown, V, OCaml, Agda | 🇧🇷 | |
| 3 |
 Felipe Augusto Nascimento Lobato
|
7 mins | 1 min | Ruby, TypeScript, Slim, Python, JavaScript, YAML, JSON, Agda, Markdown, … | 🇧🇷 |
