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.
[ Parent
| on HN ]
There are no comments on this comment yet.