Adventure!
No, I'm not familiar with ANY other language
I may code in other languages but would definately generate shitcode
Total time spent in editors (WakaTime): 1,420 hrs 23 mins
From: 15 March 2026 - To: 22 March 2026
Total Time: 39 hrs 40 mins
Lean4 29 hrs 11 mins ██████████████████▒░░░░░░ 73.60 %
Markdown 2 hrs 46 mins █▓░░░░░░░░░░░░░░░░░░░░░░░ 06.98 %
Rust 2 hrs 13 mins █▒░░░░░░░░░░░░░░░░░░░░░░░ 05.60 %
Python 2 hrs 9 mins █▒░░░░░░░░░░░░░░░░░░░░░░░ 05.45 %
Other 34 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.45 %