Anders Larsson (Nov 09 2022 at 19:11): Anders Larsson (Nov 09 2022 at 19:11):Soon it's time for: https://adventofcode.com/2022
Is there anyone that have tried to use Coq in Advent of Code? Or any proof system related language?
Karl Palmskog (Nov 09 2022 at 19:26): Anders Larsson (Nov 09 2022 at 19:32):Inspiring to see it's been done. Haven't tried AOC before, but people around me are getting excited about it. And it would be a nice Coq practice.
bubble sort now (deactivated) (Dec 01 2022 at 02:15)::rooster:
bubble sort now (deactivated) (Dec 01 2022 at 02:15):It's time!
bubble sort now (deactivated) (Dec 01 2022 at 07:55)::eyes: are there Coq folks doing this?
Anton Golov (they/them) (Dec 01 2022 at 08:39):I've never done IO in Coq, but I might give it a try if there's any days that seem particularly relevant ^^
Anders Larsson (Dec 06 2022 at 19:58):Or one just assigns a string constant. It's just one example string and one input string per program anyway.
Last updated: Dec 07 2023 at 07:39 UTC