| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anillc
|
8 hrs 3 mins | 1 hr 36 mins | Agda, Haskell, Nix, JSON, Markdown | 🇨🇳 | |
| 2 |
 vikraman
|
7 hrs 28 mins | 1 hr 4 mins | Agda, TeX, YAML | hireable | 🇮🇹 |
| 3 |
 @Darkflames
|
2 hrs 19 mins | 46 mins | Agda, Typst, Makefile, JSON, Markdown, Haskell, Git Config | ||
| 4 |
 mio-dokuhaki
|
4 mins | 0 secs | fish, Lua, Brainfuck, OCaml, C++, Common Lisp, F#, Agda, Clojure, … | hireable | 🇯🇵 |
