Total Time: 71 hrs 42 mins
C 22 hrs 56 mins ████████░░░░░░░░░░░░░░░░░ 31.75 %
Haskell 20 hrs 32 mins ███████░░░░░░░░░░░░░░░░░░ 28.44 %
Java 5 hrs 2 mins █▓░░░░░░░░░░░░░░░░░░░░░░░ 06.98 %
Rust 2 hrs 51 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.96 %
JavaScript 2 hrs 3 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.84 %
Lean 48 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.12 %
C# 45 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.05 %
Total Time: 263 hrs 34 mins
Haskell 154 hrs 34 mins ██████████████▓░░░░░░░░░░ 58.39 %
C 23 hrs 16 mins ██▒░░░░░░░░░░░░░░░░░░░░░░ 08.79 %
JavaScript 16 hrs 30 mins █▓░░░░░░░░░░░░░░░░░░░░░░░ 06.24 %
PureScript 12 hrs 18 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 04.65 %
Java 7 hrs 18 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.76 %
TypeScript 5 hrs 12 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.97 %
Rust 2 hrs 51 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.08 %
Python 52 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.33 %
Lean 48 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.31 %
C# 45 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.29 %
F# 40 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.25 %
C++ 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.00 %
Metrics are tracked and provided by WakaTime.