| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @Darkflames
|
7 hrs 7 mins | 1 hr 25 mins | Agda, Typst, Makefile, Markdown, Git Config, TOML | ||
| 2 |
 Felipe Augusto Nascimento Lobato
|
1 hr | 10 mins | Ruby, Python, Slim, TypeScript, Agda, Haskell, JavaScript, YAML, JSON, … | 🇧🇷 |
