🌞 Morning                411 commits         ████░░░░░░░░░░░░░░░░░░░░░   16.52 % 
🌆 Daytime                783 commits         ████████░░░░░░░░░░░░░░░░░   31.47 % 
🌃 Evening                993 commits         ██████████░░░░░░░░░░░░░░░   39.91 % 
🌙 Night                  301 commits         ███░░░░░░░░░░░░░░░░░░░░░░   12.10 % 

🕑︎ Time Zone: Europe/Amsterdam

💬 Programming Languages: 
Lean                     6 hrs 32 mins       ███████████████████████░░   93.18 % 
TOML                     18 mins             █░░░░░░░░░░░░░░░░░░░░░░░░   04.39 % 
Typst                    8 mins              █░░░░░░░░░░░░░░░░░░░░░░░░   02.08 % 
Python                   1 min               ░░░░░░░░░░░░░░░░░░░░░░░░░   00.24 % 
Bash                     0 secs              ░░░░░░░░░░░░░░░░░░░░░░░░░   00.06 % 

🔥 Editors: 
Cursor                   6 hrs 38 mins       ████████████████████████░   94.71 % 
Neovim                   22 mins             █░░░░░░░░░░░░░░░░░░░░░░░░   05.29 % 

💻 Operating System: 
Linux                    7 hrs               █████████████████████████   100.00 %