Numbat: Real World Units as Types (disclaimer I am not the author) (numbat.dev)
from jeffhykin@lemm.ee to programming_languages@programming.dev on 17 Nov 2023 03:54 +0000
https://lemm.ee/post/15158986

#programming_languages

thedevisinthedetails@programming.dev on 17 Nov 2023 04:07 +0000

Really cool.