|
|
|
|
|
by cannabis_sam
933 days ago
|
|
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…) |
|
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