Hacker News new | ask | show | jobs
by dwrodri 44 days ago
I like the linking of "construction of a type is evidence of correctness"!