@[email protected] to Programming Languages • 8 months agoNumbat: Real World Units as Types (disclaimer I am not the author)numbat.devexternal-linkmessage-square1fedilinkarrow-up116arrow-down11cross-posted to: programming
arrow-up115arrow-down1external-linkNumbat: Real World Units as Types (disclaimer I am not the author)numbat.dev@[email protected] to Programming Languages • 8 months agomessage-square1fedilinkcross-posted to: programming
Really cool.