News for hackers. Stuff that matters.

A comment on Advent of Code 2018, in Coq. Parent comment

Re:Advent of Code 2018, in Coq by quickthrower2 on Tuesday February 19, 2019 @03:25PM (#19202440)
I love this comment, because there is this pie in the sky mathematical idea, with direct consequences for practical coding.
[ Parent | on HN ]

There are no comments on this comment yet.