| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @Darkflames
|
28 hrs 23 mins | 4 hrs 43 mins | Agda, Makefile, Git Config | ||
| 2 |
 Eduardo Rafael
|
26 mins | 3 mins | Markdown, OCaml, V, Agda, TypeScript | 🇧🇷 |
