| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Gabriel Nogueira
|
31 hrs 25 mins | 4 hrs 29 mins | OCaml, JSON, C, Markdown, JavaScript, TSConfig, Git Config, Text | 🇧🇷 | |
| 2 |
 Eduardo Rafael
|
9 hrs 21 mins | 1 hr 20 mins | Markdown, OCaml, V, Agda, TypeScript | 🇧🇷 |
