ParentFull threadjohannes1234321·For code it also has tools to verify correctness. From specifications to compilers and tests.With humans language, sometimes "wrong" is in fact "right."View on HN