Advent of Code day 1 in Haskell and SBV (AoC 2020)

preview_player
Показать описание
Let's solve AoC day 1 (2020) using SBV (i.e. let's use a crane to crush a fly)!

Рекомендации по теме
welcome to shbcf.ru