Skip Navigation

Programming Languages @programming.dev

jeffhykin @lemm.ee

2y ago

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

Introducing Numbat: The type system

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

Programming @programming.dev

bugsmith @programming.dev

2y ago

Introducing Numbat: A programming language with physical units 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

1 comments

Load comments