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 bunderbunder on Tuesday February 19, 2019 @10:07AM (#19199404)
Call them "illogical propositions".
[ Parent | on HN ]

There are no comments on this comment yet.