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 frabert on Tuesday February 19, 2019 @04:57AM (#19197868)
> types are propositions

ML and Coq types, yes. Java, C types? Not so much.

[ Parent | on HN ]
Re:Advent of Code 2018, in Coq by bunderbunder on Tuesday February 19, 2019 @10:07AM (#19199404)
Call them "illogical propositions".
[ Parent | on HN ]