Re:A taste of Coq and correct code by construction
by trwaw on Sunday September 03, 2023 @07:41PM
(#37375707)
We build a train and then someone asks to turn it into a skyscraper because skyscrapers are the in thing now and it already looks like one on its side.
[ Parent
| on HN ]
There are no comments on this comment yet.