News for hackers. Stuff that matters.

A comment on What would Dijkstra do? Proving the associativity of min. Parent comment

Re:What would Dijkstra do? Proving the associativity of min by im3w1l on Thursday March 12, 2020 @02:30PM (#22560062)
I agree. It's more of a sketch than a proof which is why it's so short.
[ Parent | on HN ]

There are no comments on this comment yet.