| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Commelina
|
2 hrs 19 mins | 20 mins | Haskell, Agda, Makefile, Cabal Config, BNFC, Git Config, C++, Bash | 🇨🇳 | |
| 2 |
 Sergio Bonatto
|
14 mins | 7 mins | JavaScript, Agda, TypeScript | hireable | 🇧🇷 |
