Programming Languages jeffhykin • 11mo ago • 94%

Numbat: Real World Units as Types (disclaimer I am not the author)

numbat.dev