| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @Darkflames
|
37 hrs 56 mins | 5 hrs 25 mins | Agda, V, Markdown, Git Config | ||
| 2 |
 Eduardo Rafael
|
14 mins | 2 mins | Markdown, V, OCaml, Agda, YAML, JSON | 🇧🇷 | |
| 3 |
 Felipe Augusto Nascimento Lobato
|
7 mins | 1 min | Ruby, TypeScript, Slim, Python, YAML, Agda, JSON, CSS, ERB, … | 🇧🇷 |
