Numbat: A typed language with support for physical dimensions and unitsgithub.com/sharkdp2 pointsfanf2a year ago