3 ms·I like the linking of "construction of a type is evidence of correctness"!by dwrodri 5mo agoI like the linking of "construction of a type is evidence of correctness"!