Man, this feels like a frustratingly good way to get back into Haskell, and on the cutting edge of GHC to boot…
Or should I take the plunge and do it in rust?
(If only I was unemployed and could do this in agda/idris/lean…)
Or should I take the plunge and do it in rust?
(If only I was unemployed and could do this in agda/idris/lean…)
And I definitely only used a tiny subset of either language because I wanted to get the solution as quickly as possible.
[1] https://github.com/xdavidliu/advent-of-code/tree/main/2016 [2] https://github.com/xdavidliu/advent-of-code/tree/main/2018