| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 BlueGlassBlock
|
2 hrs 31 mins | 30 mins | Agda, Python, Vue.js, JSON, HTML, CSS, Image (svg), TypeScript, C++, … | 🇨🇳 | |
| 2 |
 Felipe Augusto Nascimento Lobato
|
1 hr 39 mins | 16 mins | Python, Ruby, Slim, Haskell, Agda, TypeScript, Text, Scala, Bash, … | 🇧🇷 | |
| 3 |
 Eduardo Rafael
|
9 mins | 1 min | Markdown, OCaml, V, Agda, TypeScript | 🇧🇷 |
