Total Time: 53 hrs 12 mins
C 16 hrs 14 mins ███████▓░░░░░░░░░░░░░░░░░ 30.23 %
Haskell 13 hrs 16 mins ██████▒░░░░░░░░░░░░░░░░░░ 24.72 %
Java 5 hrs 2 mins ██▒░░░░░░░░░░░░░░░░░░░░░░ 09.39 %
Rust 2 hrs 51 mins █▒░░░░░░░░░░░░░░░░░░░░░░░ 05.33 %
JavaScript 2 hrs 3 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.83 %
Lean 48 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.51 %
C# 45 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.41 %
F# 38 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 01.19 %
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.