jeffhykin@lemm.ee to Programming Languages@programming.dev • 10 months agoNumbat: Real World Units as Types (disclaimer I am not the author)external-linkmessage-square0 fedilinkarrow-up12cross-posted to: programming@programming.dev
arrow-up12external-linkNumbat: Real World Units as Types (disclaimer I am not the author)jeffhykin@lemm.ee to Programming Languages@programming.dev • 10 months agomessage-square0 Commentsfedilinkcross-posted to: programming@programming.dev