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-square1fedilinkarrow-up116arrow-down11cross-posted to: hackernews@lemmy.smeargle.fansprogramming@programming.devhackernews@derp.foo
arrow-up115arrow-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-square1fedilinkcross-posted to: hackernews@lemmy.smeargle.fansprogramming@programming.devhackernews@derp.foo
Really cool.