Total Time: 214 hrs 16 mins
Haskell 136 hrs 8 mins ███████████████▓░░░░░░░░░ 62.46 %
Python 19 hrs 44 mins ██▒░░░░░░░░░░░░░░░░░░░░░░ 09.06 %
JavaScript 8 hrs 41 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.99 %
Nix 6 hrs 58 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 03.20 %
C 5 hrs 35 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.56 %
Jsonnet 1 hr 50 mins ▒░░░░░░░░░░░░░░░░░░░░░░░░ 00.85 %Total Time: 828 hrs 55 mins
Haskell 318 hrs 50 mins █████████▓░░░░░░░░░░░░░░░ 38.20 %
Python 106 hrs 33 mins ███▒░░░░░░░░░░░░░░░░░░░░░ 12.77 %
Java 94 hrs 27 mins ██▓░░░░░░░░░░░░░░░░░░░░░░ 11.32 %
F# 36 hrs 43 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 04.40 %
PureScript 33 hrs 12 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.98 %
C 28 hrs 51 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.46 %
JavaScript 28 hrs 50 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.46 %
Lean4 21 hrs 2 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.52 %
Kotlin 20 hrs 7 mins ▓░░░░░░░░░░░░░░░░░░░░░░░░ 02.41 %Metrics are tracked and provided by WakaTime.
