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
from jeffhykin@lemm.ee to programming_languages@programming.dev on 17 Nov 2023 03:54 +0000
https://lemm.ee/post/15158986
#programming_languages
Really cool.