| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @Darkflames
|
19 hrs 51 mins | 3 hrs 18 mins | Agda | ||
| 2 |
 Francisco Santos
|
4 hrs 41 mins | 56 mins | OCaml, Agda, HTML, TypeScript, SQL, Markdown, Makefile, Emacs Lisp, Reason, … | 🇵🇹 | |
| 3 |
 Felipe Augusto Nascimento Lobato
|
44 mins | 7 mins | Ruby, YAML, Slim, Python, Agda, Haskell, Text, JavaScript, ERB, … | 🇧🇷 |
