News for hackers. Stuff that matters.
Re:Advent of Code 2018, in Coq by tombert on Tuesday February 19, 2019 @10:28AM (#19199565)
I should rephrase; obviously nothing is perfect, I'll admit that a few things will slip through the cracks. I just feel that it's night and day, compared to nearly any mainstream language.

There are no comments on this comment yet.