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
https://lemm.ee/post/15158986

#programming_languages

threaded - newest

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

Really cool.