jeffhykin@lemm.ee to Programming Languages@programming.dev · 1 year agoNumbat: Real World Units as Types (disclaimer I am not the author)numbat.devexternal-linkmessage-square0fedilinkarrow-up11arrow-down10cross-posted to: [email protected][email protected][email protected]
arrow-up11arrow-down1external-linkNumbat: Real World Units as Types (disclaimer I am not the author)numbat.devjeffhykin@lemm.ee to Programming Languages@programming.dev · 1 year agomessage-square0fedilinkcross-posted to: [email protected][email protected][email protected]