Numbat: Real World Units as Types (disclaimer I am not the author)
Numbat: Real World Units as Types (disclaimer I am not the author)
numbat.dev Introducing Numbat: The type system
Introduces the programming language Numbat and its type system
![Introducing Numbat: The type system](https://programming.dev/pictrs/image/ee591944-a2e6-4fbb-adea-6d71514823fa.png?format=webp&thumbnail=256)
1
comments
Really cool.
2 0 Reply