| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
4 hrs 32 mins | 1 hr 8 mins | Coq, OCaml, Makefile, Vyper, Markdown, D, Git Config, Text | ||
| 2 |
 @definfo
|
1 hr 40 mins | 14 mins | Nix, Haskell, C, Coq, Markdown, Rust, YAML, Cabal Config, Text, … | 🇨🇳 | |
| 3 |
 Francisco Santos
|
16 mins | 2 mins | OCaml, TypeScript, Markdown, HTML, TeX, Reason, C#, Coq, lisp, … | 🇵🇹 |
