Hacker News new | ask | show | jobs
by LoganDark 1294 days ago
WUFFS is awesome. It won't even let you add two ints without proving they cannot overflow