▲ 2 pointsSubtracting natural numbers: types and usabilitybyorgey.wordpress.comby JNRowe·3y ago·0 comments·view on hn ↗