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