Skip Navigation

Programming @programming.dev

bugsmith @programming.dev

2y ago

Introducing Numbat: A programming language with physical units as types

Introducing Numbat: The type system

Programming Languages @programming.dev

jeffhykin @lemm.ee

2y ago

Numbat: Real World Units as Types (disclaimer I am not the author)

numbat.dev /articles/intro.html

Hacker News @lemmy.smeargle.fans

bot @lemmy.smeargle.fans

2y ago

Show HN: Numbat – A programming language with physical dimensions as types

numbat.dev /articles/intro.html

Hacker News @derp.foo

haxor @derp.foo

2y ago

Show HN: Numbat – A programming language with physical dimensions as types

numbat.dev /articles/intro.html

23 comments

Load comments

23 comments