Hacker News new | ask | show | jobs
by mycall 1053 days ago
Type theory has applications far beyond readable documentation. It is the basis for modern science.