home
groups
about
login
help
programming_languages@programming.dev
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.
threaded - newest
Really cool.